{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:03:55Z","timestamp":1725631435371},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540590958"},{"type":"electronic","value":"9783642796463"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-3-642-79646-3_27","type":"book-chapter","created":{"date-parts":[[2011,11,9]],"date-time":"2011-11-09T08:48:09Z","timestamp":1320828489000},"page":"423-440","source":"Crossref","is-referenced-by-count":0,"title":["Managing Temporal Knowledge Using a Deductive Constraint Database System"],"prefix":"10.1007","author":[{"given":"Roman","family":"Gross","sequence":"first","affiliation":[]},{"given":"Robert","family":"Marti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","first-page":"11","volume":"16","author":"JF Allen","year":"1993","unstructured":"J. F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 16 (11), November 1993.","journal-title":"Communications of the ACM"},{"key":"27_CR2","volume-title":"Datenbanksysteme in B\u00fcro, Technik und Wissenschaft","author":"M B\u00f6hlen","year":"1993","unstructured":"Michael B\u00f6hlen and Robert Marti. Handling temporal knowledge in a deductive database system. In Datenbanksysteme in B\u00fcro, Technik und Wissenschaft 1993."},{"key":"27_CR3","volume-title":"Proc. 1st Int. Conf. on Temporal Logic","author":"M Bohlen","year":"1994","unstructured":"Michael Bohlen and Robert Marti. On the completeness of temporal database query languages. In Proc. 1st Int. Conf. on Temporal Logic, July 1994."},{"key":"27_CR4","first-page":"802","volume":"10","author":"M B\u00f6hlen","year":"1994","unstructured":"Michael B\u00f6hlen. Managing Temporal Knowledge in Deductive Databases. PhD thesis, ETH Zurich No. 10802, 1994.","journal-title":"PhD thesis, ETH Zurich"},{"key":"27_CR5","volume-title":"Departement Informatik ETH Zurich Switzerland","author":"JBP Quel","year":"1992","unstructured":"Jan Burse. ProQuel: Using Prolog to implement a deductive database system. Technical Report TR 177, Departement Informatik ETH Zurich Switzerland, 1992."},{"key":"27_CR6","volume-title":"Springer Verlag","author":"S Ceri","year":"1990","unstructured":"Stefano Ceri, Georg Gottlob, and Letizia Tanca. Logic Programming and Databases. Surveys in Computer Science. Springer Verlag, 1990."},{"key":"27_CR7","unstructured":"Roman Gross and Robert Marti. Intensional answers in generalized deductive databases. In Proc. Workshop on Deductive Databases, 10th Int. Conf. on Logic Programming, Budapest, June 1993."},{"key":"27_CR8","unstructured":"Roman Gross and Robert Marti. Compile-time constraint solving in a constraint database system. In Workshop Constraints and Databases, Int. Logic Programming Symposium, Ithaca, November 1994."},{"issue":"23","key":"27_CR9","first-page":"233","volume":"13","author":"R Gross","year":"1994","unstructured":"Roman Gross and Robert Marti. Handling constraints and generating intensional answers in a deductive database system. Journal of Computers and Artificial Intelligence, 13 (2\u20133): 233\u2013256, 1994.","journal-title":"Journal of Computers and Artificial Intelligence"},{"key":"27_CR10","volume-title":"Sigmod Record","author":"CS Jensen","year":"1994","unstructured":"C. S. Jensen, J. Clifford, R. Elmasri, S. K. Gadia, P. Hayes, and S. Jajodia (eds). A glossary of temporal database concepts. SIGMOD Record, 23(1), March 1994."},{"key":"27_CR11","first-page":"111","volume-title":"Proc. of the Hth ACM Symposium on Principles of Programming Languages","author":"J Jaffar","year":"1987","unstructured":"Joxan Jaffar and Jean-Louis Lassez. Constraint logic programming. In Proc. of the Hth ACM Symposium on Principles of Programming Languages\n                  y pages 111\u2013119, January 1987."},{"issue":"20","key":"27_CR12","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19","author":"J Jaffar","year":"1994","unstructured":"Joxan Jaffar and Michael J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19 \/20: 503\u2013582, 1994.","journal-title":"Journal of Logic Programming"},{"key":"27_CR13","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1145\/298514.298582","volume-title":"Proc. 9th ACM Symp. on Principles of Database Systems (PODS)","author":"PC Kanellakis","year":"1990","unstructured":"Paris C. Kanellakis, Gabriel M. Kuper, and Peter Z. Revesz. Constraint query languages. In Proc. 9th ACM Symp. on Principles of Database Systems (PODS), pages 299\u2013313, Nashville, 1990."},{"key":"27_CR14","volume-title":"Datenbanksysteme in B\u00fcro, Technik und Wissenschaft","author":"R Marti","year":"1989","unstructured":"R. Marti, C. Wieland, and B. W\u00fcthrich. Adding inferencing to a relational database management system. In Datenbanksysteme in B\u00fcro, Technik und Wissenschaft. T. H\u00e4rder, 1989."},{"key":"27_CR15","first-page":"140","volume-title":"Proc. Int. Conf. on Logic Programming","author":"R Ramakrishnan","year":"1988","unstructured":"Raghu Ramakrishnan. Magic Templates: A spellbinding approach to logic programs. In Proc. Int. Conf. on Logic Programming, pages 140\u2013159, 1988."},{"key":"27_CR16","volume-title":"Proc. ACM Conf. on Management of Data (SIGMOD)","author":"R Ramakrishnan","year":"1993","unstructured":"Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan, and P. Seshadri. Implementation of the CORAL deductive database system. In Proc. ACM Conf. on Management of Data (SIGMOD), 1993."},{"key":"27_CR17","volume-title":"Proc. ACM Symp. on Principles of Database Systems (PODS)","author":"PJ Stuckey","year":"1994","unstructured":"Peter J. Stuckey and S. Sudarshan. Compiling query constraints. In Proc. ACM Symp. on Principles of Database Systems (PODS), 1994."},{"key":"27_CR18","volume-title":"Temporal Databases: Theory, Design and Implementation","author":"AU Tansel","year":"1993","unstructured":"Adbullah Uz Tansel, James Clifford, Shashi K. Gadia, Sushil Hajodia, Arie Segev, and Richard Snodgras. Temporal Databases: Theory, Design and Implementation. Benjamin\/Cummings Publishing Company, Inc., 1993."},{"key":"27_CR19","volume-title":"Proc. Int. Logic Programming Symposium","author":"D Toman","year":"1994","unstructured":"David Toman, Jan Chomicki, and David S. Rogers. Datalog with integer periodicity constraints. In Proc. Int. Logic Programming Symposium, November 1994."},{"key":"27_CR20","first-page":"247","volume":"240","author":"J Vaghani","year":"1991","unstructured":"J. Vaghani, K. Ramamohanarao, D. Kemp, Z. Somogyi, and Peter Stuckey. Design overview of the Aditi deductive database system. In Proc. 7th Int. Conf. on Data Engineering, pages 240\u2013247, 1991.","journal-title":"Proc. 7th Int. Conf. on Data Engineering"}],"container-title":["Informatik aktuell","Datenbanksysteme in B\u00fcro, Technik und Wissenschaft"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-79646-3_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,26]],"date-time":"2020-11-26T17:37:45Z","timestamp":1606412265000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-79646-3_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540590958","9783642796463"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-79646-3_27","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1995]]}}}