{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:20:35Z","timestamp":1725664835741},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540625018"},{"type":"electronic","value":"9783540680499"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-62501-1_33","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:39:02Z","timestamp":1330295942000},"page":"208-218","source":"Crossref","is-referenced-by-count":1,"title":["A temporal constraint system for object-oriented databases"],"prefix":"10.1007","author":[{"given":"Suad","family":"Alagi\u0107","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"12_CR1","unstructured":"Abadi, M., Manna, Z.: Temporal logic programming. Proceedings of Symposium on Logic Programming. IEEE Computer Society Press (1987) 4\u201316"},{"key":"12_CR2","first-page":"1469","volume":"78","author":"S. Alagi\u0107","year":"1995","unstructured":"Alagi\u0107, S.: A statically typed, temporal object-oriented database technology. IEICE Transactions on Information and Systems 78 (1995) 1469\u20131476","journal-title":"IEICE Transactions on Information and Systems"},{"key":"12_CR3","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1007\/BFb0052186","volume":"821","author":"S. Alagi\u0107","year":"1994","unstructured":"Alagi\u0107, 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\u2013259","journal-title":"Lecture Notes in Computer Science"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Brodsky, A., Kornatzky, Y.: The Lyric language: querying constrained objects. Proceedings of the ACM SIGMOD Conference (1995) 35\u201346","DOI":"10.1145\/223784.223788"},{"key":"12_CR5","unstructured":"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\u2013328."},{"key":"12_CR6","unstructured":"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\u201383"},{"key":"12_CR7","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1007\/BF01231645","volume":"4","author":"V. Benzaken","year":"1994","unstructured":"Benzaken, V., Doucet, D.: Th\u00e9mis: a database programming language handling integrity constraints. VLDB Journal 4 (1994) 493\u2013517","journal-title":"VLDB Journal"},{"key":"12_CR8","unstructured":"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\u2013418"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Bancilhon, F., Ramakrishnan, R.: An amateur's introduction to recursive query processing strategies. Proceedings of the ACM SIGMOD Conference (1986) 16\u201352","DOI":"10.1145\/16894.16859"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Bruce, K.: Safe type checking in a statically typed object-oriented programming language. Proceedings of the ACM Conference on Functional Programming (1993) 285\u2013298","DOI":"10.1145\/158511.158650"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Cluet, S., Delobel, C.: A general framework for the optimization of object-oriented queries. Proceedings of the ACM SIGMOD Conference (1992) 383\u2013392","DOI":"10.1145\/130283.130341"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"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\u2013135","DOI":"10.1145\/96709.96721"},{"key":"12_CR13","unstructured":"Fisher, M.: A survey of concurrent METATEM \u2014 the language and its applications. Proceedings of the 2nd Temporal Logic Conference. Lecture Notes in AI. Springer-Verlag (1994) 48\u201366"},{"key":"12_CR14","unstructured":"Fiadeiro, J. L., Maibaum, T.: Sometimes \u201dtomorrow\u201d is \u201dsometime\u201d \u2014 action refinement in a temporal logic of objects. Proceedings of the 2nd International Temporal Logic Conference. Lecture Notes in AI. Springer-Verlag (1994) 48\u201366"},{"key":"12_CR15","unstructured":"Gehani, N.H., Jagadish, H.V.: Ode as active database: constraints and triggers. Proceedings of the VLDB Conference. Morgan Kaufmann (1991)"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Gehani, N.H., Jagadish, H.V., Shumeli, O.: Event specification in an active object-oriented database. Proceedings of the ACM SIGMOD Conference (1992) 81\u201390","DOI":"10.1145\/130283.130300"},{"key":"12_CR17","unstructured":"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\u201398"},{"key":"12_CR18","unstructured":"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\u2013265"},{"key":"12_CR19","unstructured":"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\u2013182"}],"container-title":["Lecture Notes in Computer Science","Constraint Databases and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62501-1_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:38:30Z","timestamp":1619573910000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62501-1_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540625018","9783540680499"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-62501-1_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}