A temporal constraint system for object-oriented databases

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1191, Issue , 1996, Pages 208-218

  Alagić, Suad ^a  

^a Wichita State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; COMPUTER PROGRAMMING; CONSTRAINT THEORY; LOGIC PROGRAMMING; OBJECT-ORIENTED DATABASES; QUERY PROCESSING; RECONFIGURABLE HARDWARE;

CONSTRAINT LANGUAGE; CONSTRAINT PROGRAMMING; IMPLEMENTATION MODELS; OBJECT ORIENTED; OPTIMIZATION TECHNIQUES; PERSISTENT OBJECTS; TEMPORAL CONSTRAINTS; TEMPORAL QUERIES;

OBJECT ORIENTED PROGRAMMING;

EID: 84959010977     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-62501-1_33     Document Type: Conference Paper

References (19)

1. Abadi, M., Manna, Z. Temporal logic programming. Proceedings of Symposium on Logic Programming. IEEE Computer Society Press (1987) 4-16
2. Alagic, S.: A statically typed, temporal object-oriented database technology. IEICE Transactions on Information and Systems 78 (1995) 1469-1476
3. Alagic, S., Sunderraman, R., Bagai, R.: Declarative object-oriented programming: inheritance, subtyping and prototyping. Proceedings of ECOOP '94. Lecture Notes in Computer Science 821 (1994) 236-259
4. Brodsky, A., Kornatzky, Y.: The Lyric language: querying constrained objects. Proceedings of the ACM SIGMOD Conference (1995) 35-46
5. Baudinet, M., Chomicki, J., Wolper, P.: Temporal deductive databases. In: Tansel, A. U., Clifford, J., Gadia, S., Jajodia, S., Segev, A., Snodgrass, R.: Temporal Databases. Benjamin/Cummings (1993) 294-328.
6. Baudinet, M.: A simple proof of the completeness of temporal logic programming. In: Del Cerro, L. F., Penttonen, M.: Intensional Logics for Programming. Studies in Logic and Computation 1. Clarendon Press (1992) 51-83
7. Benzaken, V., Doucet, D.: Themis: a database programming language handling integrity constraints. VLDB Journal 4 (1994) 493-517
8. Bertino, E.: A survey of indexing techniques for object-oriented database management systems. In: Freytag, J. C, Maier, D., Vossen, G.: Query Processing for Advanced Database Systems. Morgan Kaufmann (1994) 384-418
9. Bancilhon, F., Ramakrishnan, R.: An amateur's introduction to recursive query processing strategies. Proceedings of the ACM SIGMOD Conference (1986) 16-52
10. Bruce, K.: Safe type checking in a statically typed object-oriented programming language. Proceedings of the ACM Conference on Functional Programming (1993) 285-298
11. Cluet, S., Delobel, C: A general framework for the optimization of object-oriented queries. Proceedings of the ACM SIGMOD Conference (1992) 383-392
12. Cook, W. R., Hill, W. L., Canning, P S.: Inheritance is not subtyping. Proceedings of the ACM Conference on Principles of Programming Languages (1990) 125-135
13. Fisher, M.: A survey of concurrent METATEM - the language and its applications. Proceedings of the 2nd Temporal Logic Conference. Lecture Notes in AI. Springer-Verlag (1994) 48-66
14. Fiadeiro, J. L., Maibaum, T.: Sometimes "tomorrow" is " sometime" - action refinement in a temporal logic of objects. Proceedings of the 2nd International Temporal Logic Conference. Lecture Notes in AI. Springer-Verlag (1994) 48-66
15. Gehani, N.H., Jagadish, H.V.: Ode as active database: constraints and triggers. Proceedings of the VLDB Conference. Morgan Kaufmann (1991)
16. Gehani, N.H., Jagadish, H.V., Shumeli, O.: Event specification in an active object-oriented database. Proceedings of the ACM SIGMOD Conference (1992) 81-90
17. Kemper, A., Moerkotte, G.: Query optimization in object bases: exploiting relational techniques. In: Freytag, J. C, Maier, D., Vossen, G.: Query Processing for Advanced Database Systems. Morgan Kaufmann (1994) 64-98
18. Lanzelote, R. S. G., Valduriez, P., Zait, M.: Optimizing object-oriented recursive queries using cost-controlled strategies. Proceedings of the ACM SIGMOD Conference (1992) 256-265
19. Maier, D., Stein, J.: Indexing in an object-oriented DBMS. In: Dittrich, K. R., Dayal, U. (Eds): Proceedings of IEEE Workshop on Object-Oriented Database Systems. IEEE Press (1986) 171-182