A non-standard temporal deductive database system

Journal of Symbolic Computation

Volumn 22, Issue 5-6, 1996, Pages 649-664

  Gagné, Jean Raymond ^a   Plaice, John ^a  

^a UNIVERSITÉ LAVAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030295878     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1006/jsco.1996.0070     Document Type: Article

References (15)

1. Boussinot, P., De Simone, R. (1991). The ESTEREL language. Proc. IEEE, 79(9), 1293-1304.
2. Gadia, S.K. (1988). A homogeneous relational model and query languages for temporal databases. ACM Transactions on Database Systems, 13(4), 418-448.
3. Gagné, J.-R., Plaice, J. (1995). A non-standard temporal deductive database system. In Executable Temporal Logics: Working Notes. Workshop of IJCAI 1995. Los Altos, CA: AAAI.
4. Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D. (1991). The synchronous data flow programming language LUSTRE. Proc. IEEE, 79(9), 1305-1320.
5. Iwasaki, Y., Farquhar, A., Saraswat, V., Bobrow, D., Gupta, V. (1995). Modeling time in hybrid systems: How fast is "instantaneous"? In Proc. IJCAI 1995, pp. 1773-1780. Los Altos, CA: AAAI.
6. Lloyd, F.W. (1987). Foundations of Logic Programming, 2nd edition. Berlin: Springer-Verlag.
7. McLauglin, W.I., Miller, S.L. (1992). An epistemological use of nonstandard analysis to answer Zeno's objections against motion. Synthese, 92, 371-384.
8. Nelson, E. (1977). Internal set theory: A new approach to nonstandard analysis. Bulletin of the American Mathematical Society, 83(7), 1165-1198.
9. Orgun, M.A., Wadge, W.W. (1992). A relational algebra as a query language for Temporal Datalog, In Proc. DEXA'92, Database and Expert Systems Appplications, pp. 276-281. Berlin: Springer-Verlag.
10. Le Borgne, M., Le Guernic, P., Gautier, T., Le Maire, C. (1991). Programming real-time applications with SIGNAL. Proc. IEEE, 79(9), 1321-1336.
11. Przymusinski, T.C. (1988). On the declarative semantics of deductive databases and logic programs. In Minker, J., (ed.), Deductive Databases and Logic Programming, pp. 193-216. Los Altos, CA: Morgan Kaufmann.
12. Robinson, A. (1974). Non-standard analysis, revised edition. Amsterdam: North-Holland.
13. Tarski, A. (1955). A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5, 285-309.
14. Ullman, J.D. (1988). Principles of Database and Knowledge-Base Systems, volume 1. Rockville, MD: Computer Science Press.
15. Wiederhold, G., Jajodia, S., Litwin, W. (1991). Dealing with granularity of time in temporal databases. In Andersen, R., Bubenko, J.A. jr, Sølvberg, A., (eds), Advanced Information Systems Engineering, pp. 124-140. Berlin: Springer-Verlag, LNCS series.