Comparison of Functional and Predicative Query Paradigms

Journal of Computer and System Sciences

Volumn 54, Issue 1, 1997, Pages 3-33

  Beeri, Catriel ^a   Milo, Tova ^b  

^a HEBREW UNIVERSITY OF JERUSALEM   (Israel)

^b TEL AVIV UNIVERSITY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; DATA STRUCTURES; DIFFERENTIATION (CALCULUS); RELATIONAL DATABASE SYSTEMS;

ALGEBRAIC SPECIFICATIONS; DEDUCTIVE PROGRAMS; RELATIONAL MODEL;

QUERY LANGUAGES;

EID: 0031076665     PISSN: 00220000     EISSN: None     Source Type: Journal    
DOI: 10.1006/jcss.1997.1449     Document Type: Article

References (36)

1. S. Abiteboul and C. Beeri, On the power of languages for the manipulation of complex objects, INRIA research report, 1988; VLDB J., to appear.
2. K. R. Apt, H. Blair, and A. Walker, Towards a theory of declarative knowledge, in "Foundations of Deductive Databases and Logic Programming" (J. Minker, Ed.), Morgan Kaufmann, Los Altos, CA, 1988.
3. M. P. Atkinson, F. Bancilhon, D. DeWitt, K. Dittrich, D. Maier, and S. Zdonik, The object-oriented database system manifest, in "First Int'l Conf. on Deductive and Object Oriented Databases" (W. Kim, J.-M. Nicolas, and S. Nishio, Eds.), pp. 40-57, 1989.
4. C. Beeri, Formal models for object oriented database systems, in "First Int'l Conf. on Deductive and Object Oriented Databases, 1989" (W. Kim, J.-M. Nicolas, and S. Nishio, Eds.), pp. 370-395.
5. C. Beeri, New data models and languages, in "Proceedings, 11th Symp. on Principles of Database Systems-PODS, San Diego, California, 1992," pp. 1-15.
6. C. Beeri and T. Milo, Subtyping in OODB's, in "Proceedings, 10th PODS, Denver, CO, 1991," J. Comput. System Sci. 51, No. 2 (1995), 223-243.
7. C. Beeri and T. Milo, Functional and predicative programming in OODB's, in "Proceedings, 11th PODS, San Diego, CA, 1992."
8. C. Beeri and T. Milo, On the power of algebras with recursion, in "SIGMOD 93, Washington, DC, 1993."
9. V. Breazu-Tannen, P. Buneman, and S. Naqvi, Structural recursion as a query language, in "Conf. on Database Programming Languages, DBPL, 1991."
10. V. Breazu-Tannen, P. Buneman, and L. Wong, Naturally embedded query languages, in "Proceedings, 4th Int'l Conf. on Database Theory (ICDT), Berlin, Germany, 1992," pp. 140-154.
11. C. Beeri, R. Ramamkrishnan, D. Srivastava, and S. Sudarshan, The valid model semantics for logic programs, in "Proceedings, 11th Symp. on Principles of Database Systems-PODS, San Diego, 1992," pp. 91-104.
12. A. Chandra and D. Harel, Horn clause queries and generalizations, J. Logic Programming 2, No. 1 (1985), 1-15.
13. S. Grambach and V. Vianu, Tractable query languages for complex object databases, in "Proceedings, 10th PODS, Denver, CO, 1991."
14. M. Escobar-Molano, R. Hull, and D. Jacobs, Safety and translation of calculus queries with scalar functions, in "Proceedings, 12th Symp. on Principles of Database Systems - PODS, Washington, DC, 1993," pp. 253-264.
15. H. Ehrig and B. Mahr, "Fundamentals of Algebraic Specifications I, Equations and Initial Semantics," EATCS Monographs on Theoretical Computer Science, Vol. 6, Springer-Verlag, Berlin, 1985.
16. H. Ehrig, A. Sernadas, and C. Sernadas, Objects, object types, and object identity, in "Categorical Methods in Computer Science with Aspects from Topology" (H. Ehrig et al., Eds.), pp. 142-156, Springer-Verlag, New York/Berlin, 1989.
17. M. Gelfhond and V. Lifschitz, The stable model semantics for logic programming, in "Proceedings, 5th Int. Conf. and Symp. on Logic Programming, 1988."
18. J. Gougen and J. Meseguer, Unifying functional, object-oriented and relational programming with logical semantics, in "Research Directions in Object-Oriented Programming" (B. Shriver and P. Wegner, Eds.), pp. 417-479, MIT Press, Cambridge, MA, 1987.
19. J. Gougen, J. Tatcher, and E. Wagner, An initial algebra approach to the specification correctness and implementation of abstract data type, in "Current Trends in programming Methodology" (R. T. Yeh, Ed.), Vol. 4, pp. 80-150, Prentice-Hall, Englewood Cliffs, NJ, 1978.
20. R. Hull and J. Su, On the expressive power of database queries with intermediate types, J. Comput. System Sci. 43, No. 1 (1991).
21. N. Immerman, S. Pantaik, and D. Stemple, The expressiveness of family of finite set languages, in "Proceedings, 10th PODS, Denver, CO, 1991."
22. S. Kaplan, Positive/negative conditional rewriting, in "Proceedings, 1st Int'l Workshop on Conditional term rewriting Systems, Orsay," Lect. Notes in Comput. Sci., Vol. 308, pp. 129-143, Springer-Verlag, New York/Berlin, 1988.
23. P. C. Kanellakis, G. M. Kuper, and P. Z. Revesz, Constraint query languages, in "Proceedings, 9th ACM PODS, 1990," pp. 299-313.
24. M. Kifer, On safety, domain independence, and capturability, in "3rd Int. Conf. On Data and Knowledge Bases: Improving usability and Responsiveness, Jerusalem, Israel, 1988."
25. G. Kuper and M. Y. Vardi, The logical data model, ACM Trans. Database Systems (3) 18 (1993), 379-413.
26. C. K. Mohan and M. K. Srivas, Conditional specifications with inequational assumptions, in "Proceedings, 1st Int'l Workshop on Conditional term Rewriting Systems, Orsay," Lect. Notes in Comput. Sci., Vol. 308, pp. 161-178, Springer-Verlag, New York/Berlin, 1988.
27. T. Milo, "Formalisms for describing OODB's," Ph.D. thesis, Hebrew University, Jerusalem, 1992.
28. A. Poulovassilis and C. Small, A functional programming approach to deductive databases, in "Proceedings, VLDB 91, Barcelona, Spain, 1991."
29. K. Ross, Relations with relation names as arguments: Algebra and calculus, in "Proceedings, 11th Symp. on Principles of Database Systems - PODS, San Diego, CA, 1992," pp. 1-15.
30. A. Selman, Completeness of calculi for axiomatically defined class of algebras, Algebra Universalis 2 (1972), 20-32.
31. A. Sernadas, C. Sernadas, and H. Ehrig, Object oriented specification of databases: An algebraic approach, in "13th VLDB, 1987" (P. Hammersley, Ed.), pp. 107-116.
32. J. W. Tatcher, E. G. Wagner, and J. B. Wright, Data type specification: Parameterization and the power of specification techniques, ACM Trans. Programming Languages Systems 4, No. 4 (1982).
33. A. Van-Gelder, Negation as failure using tight derivation for general logic programming, in "Proceedings, 3rd IEEE Symp. on Logic Programming, Salt Lake City, Utah, Sept. 1986."
34. A. Van-Gelder, K. A. Ross, and J. S. Shlipf, Unfounded sets and well founded semantics for general logic programming, in "Proceedings, 7th ACM Symp. on Principles of Database Systems, 1988."
35. J. D. Ullman, "Principles of Database Systems," 2nd ed., Computer Sci. Press, New York, 1982.
36. R. Wieringa and R. Van de Riet, Algebraic specification of object dynamics in knowledge base domains, in "The Role of Artificial Intelligence in Databases and Information Systems" (R. Meersman, Z. Shi, and C. Kung, Eds.), pp. 411-436, Amsterdam, North-Holland, 1990.