The Expressive Power of Stratified Logic Programs with Value Invention

Information and Computation

Volumn 147, Issue 1, 1998, Pages 22-56

  Cabibbo, Luca ^a  

^a ROMA TRE UNIVERSITY   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0348229307     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.1998.2734     Document Type: Article

References (36)

1. Abiteboul, S., and Grumbach, S. (1991), A rule-based language with functions and sets., ACM Trans. Database Syst. 16(1), 1-30.
2. Abiteboul, S., Hull, R., and Vianu, V. (1995), "Foundations of Databases," Addison-Wesley, Reading, MA.
3. Abiteboul, S., and Kanellakis, P. (1989), Object identity as a query language primitive, in "ACM SIGMOD International Conference on Management of Data" pp. 159-173.
4. Abiteboul, S., and Vianu, V. (1990), Procedural languages for database queries and updates, J. Comput. Syst. Sci. 41(2), 181-229.
5. Abiteboul, S., and Vianu, V. (1991), Datalog extensions for database queries and updates, J. Comput. Syst. Sci. 43(1), 62-124.
6. Afrati, F., Cosmadakis, S., and Yannakakis, M. (1991), On Datalog vs. polynomial time, in "Tenth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems," pp. 13-25.
7. Aho, A., and Ullman, J. (1979), Universality of data retrieval languages, in "Sixth ACM Symposium on Principles of Programming Languages," pp. 110-117.
8. Apt, K. (1990), Logic programming, in "Handbook of Theoretical Computer Science" (J. Van Leeuwen, Ed.), , Vol. B, pp. 493-574, Elsevier Science Publishers, Amsterdam.
9. Bancilhon, F. (1978), On the completeness of query languages for relational databases, in "Mathematical Foundations of Computer Science, LNCS 64," pp. 112-124, Springer-Verlag, Berlin.
10. Cabibbo, L. (1996), "Querying and Updating Complex-Object Databases," Ph.D. thesis, Università degli Studi di Roma "La Sapienza".
11. Chandra, A., and Harel, D. (1980), Computable queries for relational databases, J. Comput. Syst. Sci. 21, 333-347.
12. Chen, W., and Warren, D. (1989), C-logic for complex objects, in "Eigth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems," pp. 369-378.
13. Codd, E. (1970), A relational model for large shared data banks, Commun. ACM 13(6), 377-387.
14. Codd, E. (1970), Extending the database relational model to capture more meaning, ACM Trans. Database Syst. 4(4), 397-434.
15. Denninghof, K., and Vianu, V. (1993), Database method schemas and object creation, in "Twelfth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems," pp. 265-275.
16. Gyssens, M., Paredaens, J., Van den Bussche, J., and Van Gucht, D. (1994), A graph-oriented object database model, IEEE Trans. Knowledge Data Eng. 6(4), 572-586.
17. Hull, R., and Su, J. (1989), Untyped sets, invention, and computable queries, in "Eigth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems," pp. 347-359.
18. Hull, R., and Su, J. (1993), Algebraic and calculus query languages for recursively typed complex objects, J. Comput. Syst. Sci. 47(1), 121-156.
19. Hull, R., and Su, J. (1994), Domain independence and the relational calculus, Acta Informatica 31, 513-524.
20. Hull, R., and Su, J. (1997), Deductive query languages for recursively typed complex objects, J. Logic Programming, to appear.
21. Hull, R., and Yoshikawa, M. (1990), ILOG: Declarative creation and manipulation of object identifiers, in "Sixteenth International Conference on Very Large Data Bases, Brisbane" pp. 455-468,.
22. Hull, R., and Yoshikawa, M. (1991), On the equivalence of database restructurings involving object identifiers, in "Tenth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems," pp. 328-340.
23. Immerman, N. (1986), Relational queries computable in polynomial time, Inform. Control 68, 86-104.
24. Kanellakis, P. (1990), Elements of relational database theory, in "Handbook of Theoretical Computer Science" (J. van Leeuwen, Ed.), Vol. B, pp. 1073-1156, Elsevier Science Publishers, Amsterdam.
25. Kifer, M., Kim, W., and Sagiv, Y. (1992), Querying object-oriented databases, in "ACM SIGMOD International Conference on Management of Data," pp. 393-402.
26. Kifer, M., Lausen, G., and Wu, J. (1995), Logical foundations of object-oriented and frame-based languages, J. ACM 42(4), 741-843.
27. Kifer, M., and Wu, J. (1993), A logic for programming with complex objects, J. Comput. Syst. Sci. 47(1), 77-120.
28. Kolaitis, P. (1991), The expressive power of stratified logic programs, Inform. Computation 90(1), 50-66.
29. Kolaitis, P., and Vardi, M. (1990), On the expressive power of Datalog: Tools and a case study, in "Ninth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems," pp. 61-71.
30. Kuper, G., and Vardi, M. (1984), A new approach to database logic, in "Third ACM SIGACT SIGMOD Symposium on Principles of Database Systems," pp. 86-96.
31. Kuper, G., and Vardi, M. (1993), The logical data model, ACM Trans. on Database Systems 18(3), 379-413.
32. Maier, D. (1986), A logic for objects, in "Workshop on Foundations of Deductive Database and Logic Programming (Washington, D.C. 1986)," pp. 6-26.
33. Papadimitriou, C. (1985), A note on the expressive power of prolog, Bull. EATCS 26, 21-23.
34. Paredaens, J. (1978), On the expressive power of the relational algebra, Information Processing Lett. 7(2), 107-111.
35. Van den Bussche, J., Van Gucht, D., Andries, M., and Gyssens, M. (1997), On the completeness of object-creating database transformation languages, J. ACM 44(2), 272-319.
36. Vardi, M. (1982), The complexity of relational query languages, in "Fourteenth ACM SIGACT Symposium on Theory of Computing," pp. 137-146.