{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:38:38Z","timestamp":1725457118737},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540618140"},{"type":"electronic","value":"9783540706830"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0031752","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T06:44:07Z","timestamp":1134283447000},"page":"387-397","source":"Crossref","is-referenced-by-count":0,"title":["Arithmetic and aggregate operators in deductive object-oriented databases"],"prefix":"10.1007","author":[{"given":"Gillian","family":"Dobbie","sequence":"first","affiliation":[]},{"given":"Rodney","family":"Topor","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0169-023X(90)90016-7","volume":"5","author":"S. Abiteboul","year":"1990","unstructured":"S. Abiteboul. Towards a deductive object oriented database language. Data and Knowledge Engineering, 5:263\u2013287, 1990.","journal-title":"Data and Knowledge Engineering"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"S. Abiteboul and R. Hull. Data-functions, datalog and negation. In Proc. of the ACM SIGMOD International Conference on the Management of Data, pages 143\u2013153, 1988.","DOI":"10.1145\/50202.50218"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"A. Chandra and D. Harel. Computable queries for relational data bases. Journal of Computer and System Sciences, pages 156\u2013178, 1980.","DOI":"10.1016\/0022-0000(80)90032-X"},{"key":"19_CR4","unstructured":"G. Dobbie. Foundations of Deductive Object-Oriented Database Systems. Phd thesis, University of Melbourne, 1995."},{"key":"19_CR5","unstructured":"D. Harel and T. Hirst. Completeness results for recursive data bases. In Proceedings of the Twelth ACM PODS Symposium on Principles of Database Systems, 1993."},{"key":"19_CR6","unstructured":"D. B. Kemp and P. J. Stuckey. Semantics of logic programs with aggregates. In V. Saraswat and K. Ueda, editors, Proc. 1991 International Logic Programming Symposium, pages 387\u2013401, San Diego, USA, 1991."},{"key":"19_CR7","volume-title":"Further revised as Technical Report 93\/06, April 1993","author":"M. Kifer","year":"1990","unstructured":"M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. Technical Report 90\/14 (revised), Department of Computer Science, State University of New York at Stony Brook, 1990. Further revised as Technical Report 93\/06, April 1993."},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"T. C. Przymusinski. On the declarative semantics of deductive databases and logic programs. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 193\u2013216. Morgan Kaufmann, 1988. Further revised as [9].","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"T. C. Przymusinski. Every logic program has a natural stratification and an iterated fixed point model. In Proceedings of the Eighth ACM PODS Symposium on Principles of Database Systems, pages 11\u201321, 1989.","DOI":"10.1145\/73721.73723"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"R. Ramakrishnan, D. Srivastava, and S. Sudarshan. Controlling the Search in Bottom-Up Evaluation. In Proc. of the Joint Int. Conference and Symposium on Logic Programming, pages 273\u2013287, Washington DC, November 1992.","DOI":"10.1007\/978-1-4615-3506-5_11"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"K. A. Ross. Modular stratification and magic sets for DATALOG programs with negation. In Proc. of the ACM SIGMOD International Conference on the Management of Data, pages 161\u2013171, 1990.","DOI":"10.1145\/298514.298558"},{"key":"19_CR12","unstructured":"D. Srivastava, R. Ramakrishnan, P. Seshadri, and S. Sudarshan. Coral++: Adding object-orientation to a logic database language. In Proc. of the 19th VLDB Conference, Dublin, Ireland, 1993."},{"key":"19_CR13","unstructured":"R. W. Topor. Safe database queries with arithmetic relations. In Proc. 14th Australian Computer Science Conference, pages 02-1\u201302-13, 1991."},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"A. Van Gelder. Foundations of aggregation in deductive databases. In S. Ceri, K. Tanaka, and S. Tsur, editors, Proceedings of the Third International Conference on Deductive and Object-Oriented Databases, 1993.","DOI":"10.1007\/3-540-57530-8_2"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"C. Zaniolo, N. Arni, and K. Ong. Negation and aggregates in recursive rules: the LDL++ approach. In S. Ceri, K. Tanaka, and S. Tsur, editors, Proceedings of the Third International Conference on Deductive and Object-Oriented Databases, pages 204\u2013221, Arizona, USA, 1993.","DOI":"10.1007\/3-540-57530-8_13"}],"container-title":["Lecture Notes in Computer Science","Logic in Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0031752","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T13:48:49Z","timestamp":1586612929000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0031752"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540618140","9783540706830"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0031752","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}