Relationlog: A typed extension to datalog with sets and tuples

Journal of Logic Programming

Volumn 36, Issue 3, 1998, Pages 271-299

  Liu, Mengchi ^a  

^a UNIVERSITY OF REGINA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS;

LOGIC PROGRAMMING BASED LANGUAGE; RELATIONAL ALGEBRA; RELATIONLOG;

LOGIC PROGRAMMING;

EID: 0032164750     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0743-1066(98)00003-X     Document Type: Article

References (28)

1. S. Abiteboul, N. Bidoit, Non first normal form relations: An algebra allowing data restructuring, Journal of Computer and System Sciences 33 (3) (1986) 361-393.
2. S. Abiteboul, P.C. Fischer, H.J. Schek (Eds.), Proceedings of the International Workshop on Theory and Applications of Nested Relations and Complex Objects in Databases, Darmstadt, Germany, Springer, Berlin, 1987, LNCS 361.
3. S. Abiteboul, P.C. Fisher, H.J. Schek (Eds.), Nested relations and complex objects in databases, Lecture Notes in Computer Science, Vol 361, Springer, Berlin, 1989.
4. S. Abiteboul, S. Grumbach, COL: A logic-based language for complex objects, ACM TODS 16 (1) (1991) 1-30.
5. S. Abiteboul, R. Hull, V. Vianu, Foundations of Databases, Addison-Wesley, Reading, MA, 1995.
6. S. Abiteboul, C. Beeri, The power of languages for the manipulation of complex values, VLDB Journal 4 (4) (1995) 727-794.
7. K.R. Apt, H.A. Blair, A. Walker, Towards a theory of declarative knowledge, in: J. Minker (Ed.), Foundalion of Deductive Databases and Logic Programming, Morgan Kaufmann Publishers, Los Altos, CA, 1988, pp. 89-148.
8. F. Bancilhon, S. Knoshafian, A calculus for complex objects, Journal of Computer and System Sciences 38 (2) (1989) 126-340.
9. C. Beeri, S. Naqvi, O. Shmuelim S. Tsur, Set construction in a logic database language. Journal of Logic Programming 10 (3/4) (1991) 181-232.
10. S. Ceri, G. Gottlob, T. Tanca, Logic Programming and Databases, Springer, Berlin, 1990.
11. Q. Chen, W.C. Hilog, A high-order logic programming language for non-1nf deductive databases, in: W. Kim, J.M. Nicolasm S. Nishio (Eds.), Proceedings of the International Conference on Deductive and Object-Oriented Databases, Kyoto, Japan, 1989, North-Holland, Amsterdam, pp. 431-452.
12. D. Chimenti, R. Gamboa, R. Krishnamurthy, S. Naqvi, S. Tsur, C. Zaniolo, The LDL system prototype. IEEE Transactions on Knowledge and Data Engineering 2 (1) (1990) 76-90.
13. E.F. Codd, Extending the database relational model to capture more meaning, ACM Transactions on Database Systems 4 (4) (1979) 297-434.
14. L. Colby, A recursive algebra and query optimization for nested relations. Proceedings of the ACM SIGMOD International Conference on Management of Data, Portland, Oregon, 1989, pp. 124-138.
15. R. Hull, A survey of theoretic research on typed complex database objects, in: J. Pardaens (Ed.), Databases. Academic Press, New York, 1987, pp. 193-256.
16. R. Krishnamurthy, S. Naqvi, Towards a real horn clause language, Proceedings of the International Conference on Very Large Data Bases, Los Angeles, California, USA, 1988, Morgan Kaufmann, Los Altos, CA, pp. 252-263.
17. G.M. Kuper, Logic programming with sets, Journal of Computer and System Sciences 41 (1) (1990) 44-64.
18. M. Levene, G. Loizou, Semantics for null extended nested relations, ACM TODS 18 (3) (1993) 414-459.
19. M. Liu, ROL: A deductive object base language. Information Systems 21 (5) (1996) 431-457
20. S. Naqvi, S. Tsur, A Logical Language for Data and Knowledge Bases, Computer Science Press, Rockville, MD, 1989.
21. Z.M. Oxsoyogly, L.-Y. Yuan, A new normal form for nested relations, ACM Transactions on Database Systems 12 (1) (1987) 111-136.
22. T.C. Przmusinski, On the declarative semantics of deductive databases and logic programs, in: J. Minker (Ed), Foundation of Deductive Databases and Logic Programming. Morgan Kaufmann, Los Altos, CA, 1988, pp. 193-216.
23. R. Ramakrishnan, D. Srivastava, S. Sudarshan, CORAL: Control, relations and logic, Proceedings of the International Conference on Very Large Data Bases, Vancouver, British Columbia, Canada, Morgan Kaufmann, Los Altos, 1992, pp. 238-250.
24. R. Ramakrishnan, D. Srivastava, S. Sudarshan, P. Seshadri, The CORAL deductive system, VLDB Journal 3 (2) (1994) 161-210.
25. M.A. Roth, H.F. Korth, D.S. Batory, SQL/NF: A query language for -INF relational databases. Information Systems 12 (1) (1987) 99-114.
26. M.A. Roth, H.F. Korth, A. Silberschatz, Extended algebra and calculus for nested relational databases, ACM TODS 13 (4) (1988) 389-417.
27. R. Sacks-Davis, A. Kent, K. Ramamohanarao, J. Thom, J. Zobel, Atlas: A nested relational database system for text applications, IEEE Transactions on Knowledge and Data Engineering 7 (3) (1995) 454-4711.
28. J.D. Ullmun, Principles of Database and Knowledge-Base Systems, vol. 1. Computer Science Press, Rockville, MD, 1988.