Deduction over graphs under constraints : a soundness and completeness theorem
Diagrammes, Tome 29 (1993), Exposé no. 2, 24 p.
@article{DIA_1993__29__A2_0,
     author = {Lellahi, Seyed-Kazem and Spyratos, Nicolas},
     title = {Deduction over graphs under constraints : a soundness and completeness theorem},
     journal = {Diagrammes},
     note = {talk:2},
     pages = {LS1--LS24},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {29},
     year = {1993},
     mrnumber = {1283882},
     zbl = {0804.18004},
     language = {en},
     url = {http://archive.numdam.org/item/DIA_1993__29__A2_0/}
}
TY  - JOUR
AU  - Lellahi, Seyed-Kazem
AU  - Spyratos, Nicolas
TI  - Deduction over graphs under constraints : a soundness and completeness theorem
JO  - Diagrammes
N1  - talk:2
PY  - 1993
SP  - LS1
EP  - LS24
VL  - 29
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - http://archive.numdam.org/item/DIA_1993__29__A2_0/
LA  - en
ID  - DIA_1993__29__A2_0
ER  - 
%0 Journal Article
%A Lellahi, Seyed-Kazem
%A Spyratos, Nicolas
%T Deduction over graphs under constraints : a soundness and completeness theorem
%J Diagrammes
%Z talk:2
%D 1993
%P LS1-LS24
%V 29
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U http://archive.numdam.org/item/DIA_1993__29__A2_0/
%G en
%F DIA_1993__29__A2_0
Lellahi, Seyed-Kazem; Spyratos, Nicolas. Deduction over graphs under constraints : a soundness and completeness theorem. Diagrammes, Tome 29 (1993), Exposé no. 2, 24 p. http://archive.numdam.org/item/DIA_1993__29__A2_0/

[BaWe90] M. Barr, C. Wells, Category for Computing Science (Prentice Hall, 1990). | MR | Zbl

[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.

[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.

[Gray74] J.W. Gray, Formal Category Theory : Adjointness for 2-categories, Lecture Notes in Mathematics, vol 391 (Springer, Berlin, 1974). | MR | Zbl

[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 | MR | Zbl

[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. | MR | Zbl

[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.

[KuVa93] G.M. Kuper, M.Y. Vardi, The Logical Model, ACM transactions on Database Systems, vol. 18, No. 3, September 1993, pages 379-413. | MR

[Kelly 82] G.M. Kelly, Basic Concepts of Enriched Category Theory, vol. 64 of London Mathematical Society Lecture Note Series (Cambridge University Press, 1982). | MR | Zbl

[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.

[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.

[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.

[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.

[MacL71] S. Mac Lane, Categories for the Working Mathematician (Springer, Berlin, 1971) | MR | Zbl

[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. | MR | Zbl

[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.

[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.

[Ullm88] J.D. Ullman, Principles of Database and Knowledge-Base Systems, vol. I (Computer Science Press, 1988).

[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.

[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. | MR