{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T20:16:51Z","timestamp":1784233011087,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540575306","type":"print"},{"value":"9783540482123","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57530-8_13","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:07:29Z","timestamp":1330261649000},"page":"204-221","source":"Crossref","is-referenced-by-count":47,"title":["Negation and aggregates in recursive rules: the LDL++ approach"],"prefix":"10.1007","author":[{"given":"Carlo","family":"Zaniolo","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Natraj","family":"Arni","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kayliang","family":"Ong","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"13_CR1","unstructured":"A.V. Aho, J.E. Hopcropt, and J.D. Ullmann. The Design and analysis of Computer Algorithms. Addison-Wesley, 1974."},{"key":"13_CR2","unstructured":"N. Arni, K. Ong, S. Tsur and C. Zaniolo. The LDL++ System: Rationale, Technology and Applications. Submitted for publication."},{"issue":"1","key":"13_CR3","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1109\/69.50907","volume":"2","author":"D. Chimenti","year":"1990","unstructured":"Chimenti, D. et al., \u201cThe LDL System Prototype,\u201d IEEE Journal on Data and Knowledge Engineering, vol. 2, no. 1, pp. 76\u201390, March 1990.","journal-title":"IEEE Journal on Data and Knowledge Engineering"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"M.P. Consens and A.O. Mendelzon. Low complexity aggregation in graphlog and datalog. In Proceedings of the third International Conference on Database Theory, 1990.","DOI":"10.1007\/3-540-53507-1_90"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"S. Ganguly, S. Greco, and C. Zaniolo. Minimum and Maximum Predicates in Logic Programming. In Proceedings of the Tenth ACM Symposium on Principles of Database Systems, pages 154\u2013113, 1991.","DOI":"10.1145\/113413.113427"},{"key":"13_CR6","unstructured":"S. Ganguly, S. Greco, and C. Zaniolo. Propagation of Extrema Predicates into Recursive Logic Programs. In Unpublished Manuscript, 1992."},{"key":"13_CR7","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics of logic programming. In Proceedings of the Fifth Intern. Conference on Logic Programming, pages 1070\u20131080, 1988."},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"F. Giannotti, D. Pedreschi, D. Sacc\u00e0, and C. Zaniolo. Nondeterminism in deductive databases. In Proc. 2nd Int. Conf. on Deductive and Object-Oriented Databases, 1991.","DOI":"10.1007\/3-540-55015-1_7"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"S. Greco, C. Zaniolo, and S. Ganguly. Greedy by Choice. In Proceedings of the Eleventh ACM Symposium on Principles of Database Systems, pages 105\u2013163, 1992.","DOI":"10.1145\/137097.137836"},{"key":"13_CR10","unstructured":"D.B. Kemp and P.J. Stackey. Semantics of Logic Programs with Aggregates. In Proceedings 1991 Int. Logic Programming Symposium, pages 338\u2013401, 1991."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"R. Krishnamurthy and S. Naqvi. \u201cNon-deterministic choice in Datalog,\u201d In Proceedings 3rd Int. Conference on Data and Knowledge Bases, 1988.","DOI":"10.1016\/B978-1-4832-1313-2.50038-X"},{"issue":"3","key":"13_CR12","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"A. Van Gelder, K.A. Ross, and J.S. Schlipf. The well-founded semantics for general logic programs. Journal of ACM, 38(3):620\u2013650, 1991.","journal-title":"Journal of ACM"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"A. Van Gelder. The Well-Founded Semantics of Aggregation. In Proceedings of the Eleventh ACM Symposium on Principles of Database Systems, pages 127\u2013138, 1992.","DOI":"10.1145\/137097.137854"},{"issue":"1","key":"13_CR14","first-page":"125","volume":"43","author":"P. G. Kolaitis","year":"1991","unstructured":"P.G. Kolaitis and C.H. Papadimitriou, Why not negation by fixpoint?, JCSS, 43(1), 125\u2013144, 1991.","journal-title":"JCSS"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Phipps, G., M.A., Derr and K. A. Ross, \u201cGlue-Nail: a Deductive Database System,\u201d Proc. 1991 ACM-SIGMOD Conference on Management of Data, pp. 308\u2013317 (1991).","DOI":"10.1145\/115790.115840"},{"key":"13_CR16","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/B978-0-934613-40-8.50009-9","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"T. Przymusinski","year":"1988","unstructured":"T. Przymusinski. On the declarative and procedural semantics of stratified deductive databases. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 193\u2013216. Morgan-Kaufman, Los Altos, CA, 1988."},{"key":"13_CR17","unstructured":"A. Przymusinska and T. Przymusinski. Weakly Perfect Model Semantics for Logic Programs. In Proceedings of the Fifth Intern. Conference on Logic Programming, pages 1106\u20131122, 1988."},{"key":"13_CR18","unstructured":"S. A. Naqvi, S. Tsur \u201cA Logical Language for Data and Knowledge Bases\u201d, W. H. Freeman, 1989."},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"K.A. Ross, and Y. Sagiv. Monotonic Aggregation in Deductive Databases. In Proceedings of the Eleventh ACM Symposium on Principles of Database Systems, pages 127\u2013138, 1992.","DOI":"10.1145\/137097.137852"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"K.A. Ross, Modular Stratification and Magic Sets for Datalog Programs, In Proceedings of the Ninth ACM Symposium on Principles of Database Systems, pages 160\u2013171, 1990.","DOI":"10.1145\/298514.298558"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"D. Sacc\u00e0 and C. Zaniolo. Stable models and non-determinism in logic programs with negation. In Proceedings of the Ninth ACM Symposium on Principles of Database Systems, pages 205\u2013217, 1990.","DOI":"10.1145\/298514.298572"},{"key":"13_CR22","unstructured":"Ramakrishan, R., Srivastava, D. and Sudarshan, S., \u201cCORAL: A Deductive Database Programming Language,\u201d Proc. VLDB'92 Int. Conf, pp. 238\u2013250, 1992."},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Tsur S., \u2018Deductive Databases in Action,\u2019 Proc. 10th, ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 205\u2013218, 1990.","DOI":"10.1145\/113413.113426"},{"key":"13_CR24","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF00962921","volume":"1","author":"C. Zaniolo","year":"1992","unstructured":"Zaniolo, C., Intelligent Databases: Old Challenges and New Opportunities, Journal of Intelligent Information Systems, 1, 271\u2013292 (1992).","journal-title":"Journal of Intelligent Information Systems"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Zaniolo, C., A Unified Semantics for Deductive Databases and Active Databases, Procs. Workshop on Rules in Database Systems, Edinburgh, U.K., 1993.","DOI":"10.1007\/978-1-4471-3225-7_16"}],"container-title":["Lecture Notes in Computer Science","Deductive and Object-Oriented Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57530-8_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:12:51Z","timestamp":1605647571000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57530-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540575306","9783540482123"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-57530-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}