On temporal deductive databases

Computational Intelligence

Volumn 12, Issue 2, 1996, Pages 235-259

  Orgun, Mehmet A ^a  

^a MACQUARIE UNIVERSITY   (Australia)

Author keywords

Declarative semantics; Deductive databases; Logic programming; Modules; Temporal algebras; Temporal databases; Temporal datalog

Indexed keywords

LINEAR TIME TEMPORAL LOGIC; SOFTWARE PACKAGE TEMPORAL DATALOG; TEMPORAL ALGEBRA; TEMPORAL DEDUCTIVE DATABASE SYSTEM; TEMPORAL RELATIONSHIPS;

ALGEBRA; COMPUTATIONAL LINGUISTICS; COMPUTER SELECTION AND EVALUATION; COMPUTER SIMULATION LANGUAGES; LOGIC PROGRAMMING; QUERY LANGUAGES;

RELATIONAL DATABASE SYSTEMS;

EID: 0030147450     PISSN: 08247935     EISSN: None     Source Type: Journal    
DOI: 10.1111/j.1467-8640.1996.tb00261.x     Document Type: Article

References (43)

1. ABADI, M., and Z. MANNA. 1987. Temporal logic programming. In Proceedings of the 1987 Symposium on Logic Programming. IEEE Computer Society Press, pp. 4-16.
2. APT, K. R., H. A. BLAIR, and A. WALKER. 1988. Towards a theory of declarative knowledge. In Foundations of deductive databases and logic programming. Edited by J. Minker. Morgan Kaufmann, Los Altos, CA, pp. 89-148.
3. BAUDINET, M. 1989. Temporal logic programming is complete and expressive. In Conference Record of the Sixteenth ACM Symposium on Principles of Programming Languages. Association for Computing Machinery, pp. 267-280.
4. BAUDINET, M. 1992. A simple proof of the completeness of temporal logic programming. In Intensional logics for programming. Edited by L. Farinas del Cerro and M. Penttonen. Oxford University Press, Oxford, pp. 51-83.
5. BAUDINET, M., J. CHOMICKI, and P. WOLPER. 1993. Temporal deductive databases. In Temporal databases: theory, design, and implementation. Edited by A. Tansel et al. Benjamin-Cummings Publishing Co., Redwood City, CA.
6. BAUDINET, M., M. NIÉZETTE, and P. WOLPER. 1991. On the representation of infinite temporal data and queries. In Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. Association for Computing Machinery, pp. 280-290.
7. CERI, S., G. GOTTLOB, and L. TANCA. 1990. Logic programming and databases. Springer-Verlag, Berlin.
8. CHEN, W., M. KIFER, and D. S. WARREN. 1989. HiLog: a first-order semantics of higher-order logic programming constructs. In Proceedings of the 1989 North American Conference on Logic Programming. MTT Press, Cambridge, MA, pp. 1090-1114.
9. CHEN, W., M. KIFER, and D. S. WARREN. 1990. HiLog as a platform for database languages. In Database engineering. Edited by W. Kim. IEEE Computer Society Press, vol. 8, pp. 162-169.
10. CHOMICKI, J. 1990. Polynomial time query processing in temporal deductive databases. In Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. Association for Computing Machinery.
11. CHOMICKI, J. 1994. Temporal query languages: a survey. In Proceedings of ICTL'94: The First International Conference on Temporal Logic. Edited by D. M. Gabbay and H. J. Ohlbach. LNAI, vol. 827. Springer-Verlag, Berlin, pp. 506-534.
12. CHOMICKI, J., and T. IMIELIŃSKI. 1988. Temporal deductive databases and infinite objects. In Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. Association for Computing Machinery, pp. 61-73.
13. CLIFFORD, J., and A. U. TANSEL. 1985. On an algebra for historical relational databases: two views. In Proceedings of the 1985 ACM SIGMOD International Conference on Management of Data. Edited by S. Navathe. ACM Press, pp. 247-265.
14. CLIFFORD, J., and D. S. WARREN. 1983. Formal semantics for time in databases. ACM Transactions on Database Systems, 8(2):214-254.
15. FITTING, M. 1987. Enumeration operators and modular logic programming. Journal of Logic Programming, 4:11-21.
16. GABBAY, D. 1987. Modal and temporal logic programming. In Temporal logics and their applications. Edited by A. Galton. Academic Press, San Diego, CA, pp. 197-237.
17. GABBAY, D., and P. MCBRIEN. 1991. Temporal logic and historical databases. In Proceedings of the 17th Very Large Data Bases Conference. Morgan Kauffman, Los Altos, CA, pp. 423-430.
18. GADIA, S. K. 1988. A homogeneous relational model and query languages for temporal databases. ACM Transactions on Database Systems, 13(4):418-448.
19. JENSEN, C. S., et al. 1994. A consensus glossary of temporal database concepts. SIGMOD RECORD, 23(1):52-64.
20. KLINE, N. 1993. An update of the temporal database bibliography. SIGMOD RECORD, 22(4):66-80.
21. KOYMEN, K., and Q. CAI. 1993. SQL*: A recursive SQL. Information Systems, 18(2):121-128.
22. LLOYD, J. W. 1984. Foundations of logic programming. Springer-Verlag, Berlin.
23. LORENTZOS, N. A., and R. G. JOHNSON. 1988. TRA: a model for a temporal relational algebra. In Temporal aspects in information systems. Edited by C. Rolland, F. Bodart, and M. Leonard. North-Holland, Amsterdam, pp. 95-109.
24. MAIER, D. 1983. The theory of relational databases. Computer Science Press.
25. MCKENZIE, E., and R. SNODGRASS. 1987. Extending the relational algebra to support transaction time. In Proceedings of the 1987 ACM SIGMOD International Conference on Management of Data. Edited by U. Dayal and I. Traiger. ACM Press, pp. 467-478.
26. MCKENZIE, E., and R. SNODGRASS. 1991. Evaluation of relational algebras incorporating the time dimension in databases. ACM Computing Surveys, 23(4):501-543.
27. ORGUN, M. A. 1991. Intensional logic programming. Ph.D. thesis, Department of Computer Science, University of Victoria, Victoria, B.C., Canada. University Microfilms International, Ann Arbor, Michigan, Order No. DANN71016, 163 pages.
28. ORGUN, M. A. 1994. Incorporating an implicit time dimension into the relational model and algebra. Manuscript, Department of Computing, Macquarie University, Sydney, Australia.
29. ORGUN, M. A., and W. MA. 1994. An overview of temporal and modal logic programming. In Proc. of ICTL'94: First International Conference on Temporal Logic. Edited by D. M. Gabbay and H. J. Ohlbach. LNAI, vol. 827. Springer-Verlag, Berlin, pp. 445-479.
30. ORGUN, M. A., and H. A. MÜLLER. 1993. A temporal algebra based on an abstract model. In Advances in Database Research: Proceedings of the 4th Australian Database Conference. Edited by M. E. Orlowska and M. Papazoglou. World Scientific, Singapore, pp. 301-316.
31. ORGUN, M. A., and W. W. WADGE. 1992a. A relational algebra as a query language for Temporal DATALOG. In Proceedings of DEXA'92: The Third International Conference on Database and Expert Systems Applications. Edited by A. M. Tjoa and I. Ramos. Springer-Verlag, Vienna, pp. 276-281.
32. ORGUN, M. A., and W. W. WADGE. 1992b. Theory and practice of temporal logic programming. In Intensional Logics for Programming Edited by L. Fariñas del Cerro and M. Penttonen. Oxford University Press, Oxford, pp. 23-50.
33. PARKER, D. S., et al. 1986. Logic programming and databases. In Expert database systems. Edited by L. Kerschberg. Benjamin-Cummings Publishing Co., Menlo Park, CA, pp. 35-48.
34. PHIPPS, G., M. A. DERR, and K. A. ROSS. 1991. Glue-Nail: A deductive system. In Proceedings of the 1991 ACM SIGMOD International Conference on Management of Data. Edited by J. Clifford and R. King. Association for Computing Machinery, pp. 308-317.
35. PRZYMUSINSKI, T. C. 1988. Perfect model semantics. In Logic Programming: Proceedings of the Fifth International Conference and Symposium. Edited by R. A. Kowalski and K. A. Bowen. MTT Press, Cambridge, MA, pp. 1081-1096.
36. RESCHER, N., and A. URQUHART. 1971. Temporal logic. Springer-Verlag, Berlin.
37. SARGONAS, K., T. SWIFT, and D. S. WARREN. 1994. XSB as an efficient deductive database engine. In Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data. Edited by R. T. Snodgrass and M. Winslett. ACM Press, pp. 442-453.
38. SARDA, N. L. 1990. Algebra and query language for a historical data model. Computer Journal, 33(1):11-18.
39. SNODGRASS, R. 1990. Temporal databases: status and research directions. SIGMOD RECORD, 19:83-89.
40. TANSEL, A. U. et al. Editors. 1993. Temporal databases: theory, design, and implementation. Benjamin-Cummings Publishing Co., Redwood City, CA.
41. ULLMAN, J. D. 1988. Principles of database and knowledge-base systems. Vol. 1. Computer Science Press, New York.
42. VAN EMDEN, M., and R. A. KOWALSKI. 1976. The semantics of predicate logic as a programming language. Journal of the Association for Computing Machinery, 23:733-742.
43. YAGHI, A. A. 1984. An intensional implementation technique for functional languages. Ph.D. thesis, Department of Computer Science, University of Warwick, Coventry, England.