Abstract
The paper shows relationship between model-theoretical and deductive approaches in relational databases. In the model-theoretical approach, semantics of algebraic geometry is applied to construct various invariants of replies to queries.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Arbib. (ed.) The algebraic Theory of Machines, Languages, and semi-groups. Academic Press (1968)
E. Codd E. Relational database. A practical foundation for productivity. Commun. ACM, 25:109–117, 1982.
R. Hartshorne. Algebraic geometry. Springer (1977)
M.I. Krasner. Generalization et analogues de la theorie de Galois. Comptes Rendus de Congress de la Victorie de I’Ass. Franc. pour I’Avancem. Sci. 54–58, 1945.
B. Plotkin. Universal algebra, algebraic logic and databases. Kluwer, 1993.
B. Plotkin. Algebra, categories and databases, Kluwer, 1996, to appear.
B. Plotkin. Algebraic logic, varieties of algebras and algebraic varieties, in preparation
D. Rydeheard, R. Burstall. Monads and theories: a survey for computation. Algebraic methods in semantics, Cambridge Univerity Press 575–607, 1985
D. Scott. Domains for denotational semantics. Lect. Notes in Comp. Sci, 140:577–613, 1982.
M. Tsalenko. Modeling of semantics in databases. Nauka, 1989
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 British Computer Society
About this paper
Cite this paper
Plotkin, B.I. (1996). Model-Theoretical and Deductive Approaches to Databases from the Point of View of Algebraic Logic and Geometry. In: Eder, J., Kalinichenko, L.A. (eds) Advances in Databases and Information Systems. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-1486-4_11
Download citation
DOI: https://doi.org/10.1007/978-1-4471-1486-4_11
Publisher Name: Springer, London
Print ISBN: 978-3-540-76014-6
Online ISBN: 978-1-4471-1486-4
eBook Packages: Springer Book Archive