Abstract
Declarative database query languages have recently been criticized by the research community. Proponents of database programming languages and object-oriented databases recommended doing away with declarative means for specifying retrieval, except for perhaps ad-hoc querying. Supporters of deductive databases and logic programming want to extend declarative query languages into full programming languages while retaining declarativity. It is our conviction that neither approach will lead to a satisfactory solution. We claim instead that languages offering both paradigms in full extension are desirable and can be achieved without suffering from the drawbacks encountered when simply combining existing query and programming languages. In this paper we outline the basic design decisions of an experimental language aimed at a knowledge-based style of persistent programming.
Preview
Unable to display preview. Download preview PDF.
References
S. Abiteboul: “Towards a deductive object-oriented database language”, Data and Knowledge Engineering, 5(4), 1990, 263–287
A. Albano, L. Cardelli, and R. Orsini: “Galileo: A Strongly Typed Interactive Conceptual Language”, ACM Transactions on Database Systems, 10(2), 1985, 230–260
M. Atkinson: “Programming Languages and Databases”, in: Proc. 4th Intern. Conf. on Very Large Data Bases (VLDB), Berlin, 1978, 408–419
G. Attardi and M. Simi: “Consistency and Completeness of OMEGA, a Logic for Knowledge Representation”, in: Proc. 7th Intern. Joint Conf. on Artificial Intelligence (IJCAI), Vancouver, 1981, 504–510
F. Bancilhon: “Object-Oriented Database Systems”, in: Proc. 7th ACM Symp. on Principles of Database Systems, Austin/Tx., 1988
C. Beeri: “A formal approach to object-oriented databases”, Data and Knowledge Engineering, 5(4), 1990, 353–382
E. Codd: “A Relational Model of Data for Large Shared Data Banks”, Comm. of the ACM, 13(6), 1970, 377–387
G. Copeland and D. Maier: “Making Smalltalk a Database System”, in: Proc. 10th ACM-SIGMOD Intern. Conf. on Management of Data, Boston/Mass., June 1984, 316–325
A. Dearle et.al.: “Napier88 — A Database Programming Language?”, in: Proc. 2nd Intern. Workshop on Database Programming Languages, Salishan Lodge/Ore., 1989, 213–230
W. Kim, J.-M. Nicolas, and S. Nishio [eds.]: Proceedings of the 1st Intern. Conf. on Deductive and Object-Oriented Databases (DOOD), Kyoto, 1989
H. Gallaire, J. Minker, and J.-M. Nicolas: “Logic and databases: a deductive approach”, ACM Computing Surveys, 16(1), 1984, 154–185
R. Goebel: “The Design and Implementation of DLOG, a Prolog-based Knowledge Representation System”, in: New Generation Computing, 3, 1985, 385–401
G. Kiernan, C. de Maindreville, and E. Simon: “Making Deductive Databases a Practical Technology: A Step Forward”, in: Proc. 16th ACM-SIGMOD Conf. on Management of Data, Atlantic City/NJ, 1990, 237–246
W. Kim: “Object-Oriented Databases: Definitions and Research Directions”, IEEE Transactions on Knowledge and Data Engineering, 2(3), 1990, 327–341
C. Lécluse and P. Richard: “The O2 Database Programming Language”, in: Proc. 15th Intern. Conf. on Very Large Data Bases (VLDB), Amsterdam, 1989, 411–422
R. Manthey, V. Küchenhoff, and M. Wallace: “KBL: design proposal for a conceptual language of EKS”, ECRC Technical Report TR-KB-29, Jan. 1989
S. Naqvi and S. Tsur: “A Logical Language for Data and Knowledge Bases”, Computer Science Press, 1989
G. Phipps: “Glue: A Deductive Database Programming Language”, in: Proc. NACLP'90 Workshop on Deductive Databases, Austin/Tx., 1990 (appeared as Report TR-CS-90-14, Dept. of Computing & Information Sciences, Kansas State University)
R. Ramakrishnan et. al.: “CORAL — A Database Programming Language”, in: Proc. NACLP'90 Workshop on Deductive Databases, Austin/Tx., 1990 (appeared as Report TR-CS-90-14, Dept. of Computing & Information Sciences, Kansas State University)
R. Reiter: “Towards a logical reconstruction of relational data base theory”, in: On Conceptual Modeling, [Brodie, Mylopoulos, Schmidt eds.], Springer-Verlag, 1984, 191–233
B. Russell: “On Denoting”, in: Mind, 14, 1905, 479–493 (cited in [AtSi81])
J. W. Schmidt: “Some High-level Constructs for Data of Type Relation”, ACM Transactions on Database Systems, 2(3), Sept. 1977
J. W. Schmidt, H. Eckhardt, and F. Matthews: “DBPL Report”, DBPL-Memo 111-88, FB Informatik, Johann Wolfgang Goethe-Univ. Frankfurt, 1988
M. Stonebraker et.al.: “Third-Generation Data Base System Manifesto”, in: Proc. IFIP WG 2.6 Conf. on Object-Oriented Databases (DS-4), Windermere, July 1990
M. Stonebraker and L. Rowe: “Observations on Data Manipulation Languages and their Embedding in General Purpose Programming Languages”, in: Proc. 3rd Intern. Conf. on Very Large Data Bases (VLDB), Toronto, 1977, 128–143
J. Ullman: “Principles of Database and Knowledge-Base Systems”, Vol. I, Computer Science Press, 1988
C. Welty and D. Stemple: “Human Factors Comparison of a Procedural and a Nonprocedural Query Language”, ACM Transactions on Database Systems, 6(4), 1981, 626–649
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Manthey, R. (1991). Declarative languages — Paradigm of the past or challenge of the future?. In: Schmidt, J.W., Stogny, A.A. (eds) Next Generation Information System Technology. EWDW 1990. Lecture Notes in Computer Science, vol 504. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54141-1_1
Download citation
DOI: https://doi.org/10.1007/3-540-54141-1_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54141-7
Online ISBN: 978-3-540-47444-9
eBook Packages: Springer Book Archive