Deduction over graphs under constraints : a soundness and completeness theorem

Seyed-Kazem Lellahi; Nicolas Spyratos

Diagrammes (1993)

  • Volume: 29, page LS1-LS24
  • ISSN: 0224-3911

How to cite

top

Lellahi, Seyed-Kazem, and Spyratos, Nicolas. "Deduction over graphs under constraints : a soundness and completeness theorem." Diagrammes 29 (1993): LS1-LS24. <http://eudml.org/doc/193045>.

@article{Lellahi1993,
author = {Lellahi, Seyed-Kazem, Spyratos, Nicolas},
journal = {Diagrammes},
keywords = {categorical semantics; categorical logic; enriched categories; graph- based modelling of knowledge; algebraic specification},
language = {eng},
pages = {LS1-LS24},
publisher = {Université Paris 7, Unité d'enseignement et de recherche de mathématiques},
title = {Deduction over graphs under constraints : a soundness and completeness theorem},
url = {http://eudml.org/doc/193045},
volume = {29},
year = {1993},
}

TY - JOUR
AU - Lellahi, Seyed-Kazem
AU - Spyratos, Nicolas
TI - Deduction over graphs under constraints : a soundness and completeness theorem
JO - Diagrammes
PY - 1993
PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
VL - 29
SP - LS1
EP - LS24
LA - eng
KW - categorical semantics; categorical logic; enriched categories; graph- based modelling of knowledge; algebraic specification
UR - http://eudml.org/doc/193045
ER -

References

top
  1. [BaWe90] M. Barr, C. Wells, Category for Computing Science (Prentice Hall, 1990). Zbl0714.18001MR1094561
  2. [CoMe90] M.P. Consens, A. Mendelzon, Graphlog : A Visual Formalism for Real Life Recursion, in : Proc. ACM-SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems ( 1990) 404-416. 
  3. [GPV90] M. Guyssen, J. Paredaens, D. Van Gusht, A Graph-Oriented Object Database Model, Proc. ACM-SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems ( 1990) 417-424. 
  4. [Gray74] J.W. Gray, Formal Category Theory : Adjointness for 2-categories, Lecture Notes in Mathematics, vol 391 (Springer, Berlin, 1974). Zbl0285.18006MR371990
  5. [Gray89] J.W. Gray, The Theory of Sketches as a Model for Algebraic Semantics, In : Category in Computer Science and Logic, Contemporary Mathematics vol. 92 (American Math. Society, 1989) 109-135 Zbl0688.68077MR1003198
  6. [GuSc90] C.A. Gunter, D.S. Scott, Semantic Domains, In : J.van Leeuwen ed., Handbook of Theoretical Computer Science vol. B (Elsevier Science Publishers, 1990) 635-674. Zbl0900.68301MR1127197
  7. [Güti93] R.H. Güting, Second-Order Signature : A Tool for Specifying Data Model, Query Processing, and Optimization, Sigmod's 93, Proc. of the ACM-Sigmod International Conference on Management of Data. Washington DC may 26-28 1993, edited by P. Buneman and S. Jajodia, acm Press. 
  8. [KuVa93] G.M. Kuper, M.Y. Vardi, The Logical Model, ACM transactions on Database Systems, vol. 18, No. 3, September 1993, pages 379-413. MR1342351
  9. [Kelly 82] G.M. Kelly, Basic Concepts of Enriched Category Theory, vol. 64 of London Mathematical Society Lecture Note Series (Cambridge University Press, 1982). Zbl0478.18005MR651714
  10. [Lell93] S.K. Lellahi, Une formalisation Algébrique pour la Modelisation des Données, 5ème journées du LIPN, 6-7 septembre 1993, Univ. Paris13, France. 
  11. [LeSp91] S.K. Lellahi, N. Spyratos, Towards a Categorical Data Model Supporting Structured Objects and Inheritance, in : proc. Next Generation Information System Technology, Lecture Notes in Computer Science, vol.504, (Springer, Berlin, 1991) 86-105. 
  12. [LeSp92] S.K. Lellahi, N. Spyratos, Categorical Modelling of Database Concepts, Esprit BRA Project 3070, Technical Report Series, FIDE/92/38; University of Glasgow, Dept. of Computer Science, also Research Report No 746, LRI, Univ. Paris XI, Orsay, 1992. 
  13. [LeSp93] S.K. Lellahi, N. Spyratos, An Algebraic Semantics for Data Modelling under Constraints, Research Report No 93-05, LIPN, Univ. Paris-Nord, Villetaneuse, France, 1993. 
  14. [MacL71] S. Mac Lane, Categories for the Working Mathematician (Springer, Berlin, 1971) Zbl0232.18001MR1712872
  15. [PoWe92] A.J. Power, C. Wells, A formalism for the specification of essentially-algebraic structures in 2-categories, Mathematical Structures in Computer Science Vol. 2 ( 1992) 1-28. Zbl0754.18006MR1159498
  16. [TGP91] C. Tuijn, M. Guyssen, J. Paredaens, A Categorical Approach to Object-Oriented Data Modelling, Research Report No 91-09, University of Antwerp (UIA), Belgium. 
  17. [TuGu92] C. Tuijn, M. Guyssen, Views and Decomposition of Databases from a Categorical Perspective, Proc. International Conference on Database Theory ICDT 92, Lecture Notes in Computer Science vol. 646 (Springer, Berlin, 1992) 99-111. 
  18. [Ullm88] J.D. Ullman, Principles of Database and Knowledge-Base Systems, vol. I (Computer Science Press, 1988). 
  19. [VaVa92] J. Van den Bussche, D. Van Gucht, A Hierarchy of Faithful Set Creation in Pure OODB's, in : Proc. of International Conference on Database Theory ICDT, Lecture Notes in Computer Science vol. 646 (Springer-Verlag, 1992) 326-340. 
  20. [Wedd92] G.E. Weddell, Resoning about Functional Dependencies Generalized for Semantic Data Models, ACM Transactions on Database Systems vol 17, No 1 ( 1992) 32-64. MR1161053

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.