Abstract
A logic-based language for manipulating complex objects constructed using set and tuple constructors is introduced. A key feature of the language is the use of base and derived data functions. Under some stratification restrictions, the semantics of programs is given by a canonical minimal and causal model that can be computed using a finite sequence of fixpoints. Applications of the language to procedural data, semantic database models, heterogeneous databases integration, and datalog query evaluation are presented.
This research was supported in part by the Projet de Recherches Coordonnees BD3.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Abiteboul S., and C. Beeri, On the Manipulation of Complex Objects, abstract in Proc. International Workshop on Theory and Applications of Nested Relations and Complex Objects, Darmstadt (1987)
Abiteboul, S., and N. Bidoit, "Non first normal form relations: an algebra allowing data restructuring", in Journal of Computer Systems and Science (1986).
Abiteboul, S., and S. Grumbach, COL: a Logic-Based Language for Complex Objects, Inria Internal Report 714 (1987)
Abiteboul S., and Hull, R., "IFO: A formal semantic database model," Proc. ACM SIGACT/SIGMOD Symposium on Principle of Database Systems (1984), to appear in ACM Transactions on Database Systems.
Abiteboul S., and Hull, R., "Object restructuring in semantic database models," Proc. Intern. Conf. on Database Theory, Roma (1986) to appear in Theoretical Computer Science
Abiteboul S., and Hull, R., Data Functions, Datalog and Negation, draft
Apt, K., H. Blair, A. Walker, Toward a Theory of Declarative Knowledge, Proc. of Workshop on Foundations of Deductive Database and Logic Programming (1986)
Bancilhon F., R. Ramakrishnan, An Amateur's Introduction to Recursive Query Processing Strategies, ACM SIGMOD Conference on Management of Data, Washington D.C. (1986)
Bancilhon F., et al, Magic Sets and Other Strange Ways to Implement Logic Programs, Proc. ACM SIGACT/SIGMOD Symposium on Principles of Database Systems (1986)
Bancilhon, F., and Khoshafian, S., "A calculus for complex objects, Proc. ACM SIGACT/SIGMOD Symposium on Principle of Database Systems (1985).
Beeri, C., et al., Sets and Negation in a Logic Database Language (LDL1), Proc. ACM SIGACT-SIGMOD Symposium on Principle of Database Systems (1987)
Bidoit, N., R. Hull, Positivism vs. Minimalism in Deductive Databases, proc. ACM SIGACT-SISMOD Symposium on Principles of Database Systems (1986)
Buneman, P., R.E. Frankel, FQL — a Functional Query Language (preliminary report) proc. ACM SIGMOD conf. on Management of Data (1979)
Dadam, P., History and Status of the Advanced Information Management Prototype, Proc. International Workshop on Theory and Applications of Nested Relations and Complex Objects, Darmstadt (1987)
Fischer, P., and Thomas, S., Operators for non-first-normal-form relations, Proc. 7th COMPSAC Chicago,(1983).
Gardarin G., C. de Maindreville, Evaluation of Database Recursive Logic Programs as Recurrent Function Series, proc. ACM SIGMOD conf. on Management of Data (1986)
Van Gelder, A., Negation as Failure Using Tight Derivations for General Logic Programs, Proc. of Workshop on Foundations of Deductive Database and Logic Programming (1986)
Hammer M., D. McLeod, Database Description with SDM: a semantic database model, ACM trans. on Database Systems 6,3 (1981)
Hull, R., R. King, Semantic database modeling: Survey, applications, and research issues. U.S.C. Computer Science Technical Report (1986) to appear in ACM computing surveys
Hull, R., C.K. Yap, The format model: A theory of database organization. Journal of the ACM 31(3) (1984)
Jacobs, B., on Database Logic, Journal of the ACM (1982).
Jaeschke, B., H.J. Schek, Remarks on the algebra of non first normal form relations, Proc. ACM SIGACT/SIGMOD Symposium on Principle of Database Systems, Los Angeles (1982)
Kuper, G.M., Logic Programming with Sets, Proc. ACM SIGACT/SIGMOD Symposium on Principle of Database Systems (1987)
Kuper, G.M., M.Y. Vardi, A new approach to database logic, proc. ACM SIGACT-SIGMOD Symp. on Principles of Database Systems (1984)
Lloyd, J., Foundations of Logic Programming, Spinger Verlag (1984)
Naqvi, S.A., A Logic for Negation in Database Systems, Proc. Workshop on Foundations of Deductive Databases and Logic Programming ed. J. Minker (1986)
Pistor, P., F. Andersen, Principles for designing a Generalized NF2 Data Model with an SQL-type Language Interface, IBM Heidelberg (1986)
Przymusinksi, T. C. On the Semantics of Stratified Deductive Databases and Logic Programs, to appear in Journal of Logic Programming
Roth, M.A., H.F. Korth, A. Silberschatz, Extended Algebra and Calculus for not 1NF Relational Databases, Technical Report, Department of Computer Science, University of Texas at Austin (1985)
Roth, M.A., H.F. Korth, and D.S. Batory, SQL/NF: A Query Language for ¬ 1NF Relational Databases, Technical Report, Department of Computer Science, University of Texas at Austin (1986)
Schek H., and M. Scholl, the Relational Model with relation-valued attributes, in Information Systems (1986)
Stonebraker M., Object Management in Postgres using Procedures, in the Postgres Papers, UCB report (1986)
Shipman, D., The Functional Data Model and the Data Language Daplex, ACM Transactions on Database Systems. (1981)
Verso, J., (pen name for the Verso team), Verso: a Database Machine Based on non-1NF Relations, Inria Internal Report (1986)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Abiteboul, S., Grumbach, S. (1988). Col: A logic-based language for complex objects. In: Schmidt, J.W., Ceri, S., Missikoff, M. (eds) Advances in Database Technology—EDBT '88. EDBT 1988. Lecture Notes in Computer Science, vol 303. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19074-0_58
Download citation
DOI: https://doi.org/10.1007/3-540-19074-0_58
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19074-5
Online ISBN: 978-3-540-39095-4
eBook Packages: Springer Book Archive