{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:55Z","timestamp":1725663535740},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540569213"},{"type":"electronic","value":"9783540477853"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56921-9_2","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:53:33Z","timestamp":1330257213000},"page":"23-39","source":"Crossref","is-referenced-by-count":10,"title":["On the unification of active databases and deductive databases"],"prefix":"10.1007","author":[{"given":"Carlo","family":"Zaniolo","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"issue":"1","key":"2_CR1","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1016\/0022-0000(91)90032-Z","volume":"43","author":"S. Abiteboul","year":"1991","unstructured":"S. Abiteboul and V. Vianu. Datalog extensions for database queries and updates. Journal of Comp. and System Sc., 43(1):62\u2013124, August 1991.","journal-title":"Journal of Comp. and System Sc."},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Apt, K., and J.M. Pugin, \u201cMaintenance of stratified databases viewed as a belief revision system\u201d, ACM PODS, 1987.","DOI":"10.1145\/28659.28674"},{"key":"2_CR3","unstructured":"C. Beeri and T. Milo. A model for active object-oriented database. Seventeenth International Conference on Very Large Data Bases, Barcelona, pages 337\u2013349, 1991."},{"key":"2_CR4","unstructured":"Bry, F., Intensional updates: abduction via deduction, in: Proc. 7th Int. Conf. on Logic Programming, Jerusalem, 561\u2013575, 1990."},{"key":"2_CR5","unstructured":"S. Ceri and J. Widom. Deriving production rules for constraint maintenance. Sixteenth International Conference on Very Large Data Bases, Brisbane, pages 566\u2013577, 1990."},{"issue":"no.1","key":"2_CR6","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 $$\\mathcal{L}\\mathcal{D}\\mathcal{L}$$ 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":"2_CR7","unstructured":"Fagin, R., Kuper, G., D.Ullman and M.Y. Vardi, \u201dUpdating logical databases\u201d, Advances in Comp. Res., vol. 3, 1\u201318, JAI Press Inc., 1986."},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Harel, D., \u201dDynamic logic\u201d, in Handbook of Philosophical Logic, (Gabbay and Guenther, eds.), D.Reidel Publishers, 1983.","DOI":"10.1007\/978-94-009-6259-0_10"},{"key":"2_CR9","unstructured":"N.H. Gehani and H.V. Jagadish. Ode as an active database: Constraints and triggers. Seventeenth International Conference on Very Large Data Bases, Barcelona, pages 327\u2013336, 1991."},{"key":"2_CR10","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics of logic programming. Proceedings of the Fifth Intern. Conference on Logic Programming, pages 1070\u20131080, 1988."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"S. Ganguly, S. Greco, and C. Zaniolo. Minimum and Maximum Predicates in Logic Programming. Proceedings of the Tenth ACM Symposium on Principles of Database Systems, pp. 154\u2013113, 1991.","DOI":"10.1145\/113413.113427"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"F. Giannotti, D. Pedreschi, D. Sacc\u00e0, and C. Zaniolo. Nondeterminism in deductive databases. Proc. 2nd Int. Conf. on Deductive and Object-Oriented Databases, 1991.","DOI":"10.1007\/3-540-55015-1_7"},{"issue":"3","key":"2_CR13","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":"2_CR14","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katzuno","year":"1991","unstructured":"Katzuno, H. and A.O. Mendelzon, Propositional knowledgebase revision and minimal change, Artificial Intelligence, 52, 263\u2013294, 1991.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"2_CR15","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":"2_CR16","unstructured":"Krishnamurthy, R., Naqvi, S. and C. Zaniolo, \u201cDatabase Updates and Transactions in $$\\mathcal{L}\\mathcal{D}\\mathcal{L}$$ \u201d, Procs. of 1989 North American Conference on Logic Programming, MIT Press, 1989."},{"key":"2_CR17","unstructured":"Lloyd, J.W., Foundations of Logic Programming, Springer Verlag, 1977."},{"key":"2_CR18","unstructured":"Manchanda, S. and D.S. Warren, \u201cTowards a logical theory of database view updates\u201d, Int. Worksh. on Foundations of Deductive databases and Logic Programming, J.Minker ed., Aug. 1988."},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"D. McCarty and U. Dayal. The architecture of an active database management system. In ACM SIGMOD International Conf. on Management of Data, pages 215\u2013224, 1989.","DOI":"10.1145\/67544.66946"},{"key":"2_CR20","unstructured":"M. Morgenstern. Active databases as a paradigm for enhanced computing environments. In Ninth International Conf. on Very Large Data Bases, Florence, pages 34\u201342, 1983."},{"key":"2_CR21","unstructured":"L. Palopoli and R. Torlone. Specifying the dynamics of complex object databases. In 4th Int. Workshop on Foundations of Models and Languages for Data and Objects \u2014 Modeling Database Dynamics, pp. 143\u2013160. Springer-Verlag, 1992."},{"key":"2_CR22","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":"2_CR23","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":"2_CR24","doi-asserted-by":"crossref","unstructured":"Przymusinski, T.C. \u201dEvery logic program has a natural stratification and an iterated fixed point model\u201d, in PODS 1989.","DOI":"10.1145\/73721.73723"},{"key":"2_CR25","unstructured":"S. A. Naqvi, S. Tsur \u201cA Logical Language for Data and Knowledge Bases\u201d, W. H. Freeman, 1989."},{"key":"2_CR26","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":"2_CR27","unstructured":"Reiter, R., \u201cOn Formalizing Database Updates: Preliminary Report,\u201d in, Advances in Database Technology-EDBT'92, (Pirotte, Delobel, Gottlob, eds.), Springer Verlag, 1992"},{"key":"2_CR28","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":"2_CR29","doi-asserted-by":"crossref","unstructured":"M.L. Stonebraker, A. Jhingran, J. Goh, and S. Potamianos. On rules, procedure, caching and views in data base systems. In ACM SIGMOD International Conf. on Management of Data, pages 281\u2013290, 1990.","DOI":"10.1145\/93597.98737"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"van Emden M.H. and R.A. Kowalski, \u201cThe Semantics of Predicate Logic as a Programming Language,\u201d J. ACM 23, 4 (Oct. 76), 67\u201375.","DOI":"10.1145\/321978.321991"},{"key":"2_CR31","unstructured":"Warren, D.S., Database Updates in Pure Prolog, Proc. Int. Conf. on Fifth Generation Computer Systems, 244\u2013253, 1985."},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"J. Widom and S. Finkelstein. Set-Oriented production rules in relational database systems. In ACM SIGMOD International Conf. on Management of Data, pages 259\u2013270, 1990.","DOI":"10.1145\/93597.98735"},{"key":"2_CR33","unstructured":"M. Winslett, \u201dA model-theoretic approach to updating logical databases\u201d, ACM PODS, 1986."},{"key":"2_CR34","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":"2_CR35","unstructured":"Zaniolo, C., N. Arni, K. Ong, \u201cNegation and Aggregates in Recursive Rules: the $$\\mathcal{L}\\mathcal{D}\\mathcal{L} + +$$ Approach\u201d, submitted for publication."}],"container-title":["Lecture Notes in Computer Science","Advances in Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56921-9_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:07:05Z","timestamp":1605647225000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56921-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540569213","9783540477853"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-56921-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}