{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:53:19Z","timestamp":1725551599215},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540637929"},{"type":"electronic","value":"9783540696476"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63792-3_19","type":"book-chapter","created":{"date-parts":[[2010,4,5]],"date-time":"2010-04-05T21:12:11Z","timestamp":1270501931000},"page":"247-264","source":"Crossref","is-referenced-by-count":12,"title":["Formal characterizations of active databases: Part II"],"prefix":"10.1007","author":[{"given":"Chitta","family":"Baral","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Lobo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Goce","family":"Trajcevski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,8,17]]},"reference":[{"key":"19_CR1","unstructured":"S. Abiteboul, M. Vardi, and V. Vianu. Fixpoint logic, relational machines and computational complexity. In Structure in Complexity Theory, 1992."},{"key":"19_CR2","unstructured":"C. Baral. Reasoning about actions: non-deterministic effects, constraints and qualification. In Proc. of IJCAI, Montreal, 1995."},{"key":"19_CR3","unstructured":"C. Baral and M. Gelfond. Representing concurrent actions in extended logic programs. In Bertram Fronhofer, editor, Theoretical Approaches to Dynamic Worlds. (to appear). Preliminary version appeared in IJCAI 93."},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"C. Basal, M. Gelfond, and A. Provetti. Representing Actions: Laws, Observations and Hypothesis. Journal of Logic Programming (to appear), 1997.","DOI":"10.1016\/S0743-1066(96)00141-0"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"C. Baral and J. Lobo. Formal characterization of active databases. In International Workshop on Logic in Databases, 1996.","DOI":"10.1007\/BFb0031741"},{"key":"19_CR6","unstructured":"C. Basal and J. Lobo. Formalizing defeasible causality in action theories. In Proc. of IJCAI, Japan, August 1997."},{"key":"19_CR7","unstructured":"C. Basal and J. Lobo and G. Trajcevski. Formal Characterization and Reasoning about Active Databases. http:\/\/www.eecs.uic.edu\/jorge."},{"key":"19_CR8","unstructured":"L. Brownston, R. Faxell, E. Kant, and N. Martin. Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming. Addison-Wesley, 1985."},{"issue":"3","key":"19_CR9","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1145\/185827.185828","volume":"19","author":"S. Ceri","year":"1994","unstructured":"S. Ceri, P. Fraternali, S. Paraboschi, and L. Tanca. Automatic generation of production rules for integrity maintenance. Transactions on Database Systems, 19(3):367\u2013422, 1994.","journal-title":"Transactions on Database Systems"},{"key":"19_CR10","unstructured":"S. Ceri and J. Widom. Deriving production rules for incremental view maintenance. In Very Large Databases, 1991."},{"issue":"6","key":"19_CR11","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1016\/0306-4379(94)90002-7","volume":"19","author":"S. Ceri","year":"1994","unstructured":"S. Ceri and J. Widom. Deriving incremental production rules for deductive data. Information Systems, 19(6):467\u2013490, 1994.","journal-title":"Information Systems"},{"key":"19_CR12","unstructured":"S. Chakravarthy,B. Blaustein,A. Buchmann,M. Carey,U. Dayal,D. Goldhirsch, M. Hsu, R. Jauhari, R. Ladin, M. Livni, D. McCarthy, R. McKee, and A. Rosenthal. Hipac: A research project in active, time constrained database management. Technical Report XAIT-89-02, Xerox Advanced Information Technology, 1989."},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"J. Chomicki and D. Toman. Implementing temporal integrity constraints using an active database. IEEE Transaction on Knowledge and Data Engineering, August 1995.","DOI":"10.1109\/69.404030"},{"key":"19_CR14","unstructured":"U. Dayal, E. Hansen, and J. Widom. Active database systems. In W. Kim, editor, Modern Database Systems: The Object Model, Interoperability and Beyond. Addison-Wesley, 1994."},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"K.R. Ditrich, S. Gatziu, and A. Geppert. The active database management system manifesto: A rule-base of adbms features. In 2nd International Workshop on Rules in Database Systems, 1995.","DOI":"10.1007\/3-540-60365-4_116"},{"key":"19_CR16","unstructured":"A. Elmagarmid, editor. Transaction Models for Advanced Database Applications. Morgan-Kaufmann, 1992."},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"O. Etzion. Reasoning about the behavior of active database applications. In International Workshop on Rules in Database Systems, 1995.","DOI":"10.1007\/3-540-60365-4_121"},{"key":"19_CR18","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/BF03037238","volume":"15","author":"A.A.A. Fernandez","year":"1997","unstructured":"A.A.A. Fernandez, H. Williams, and N.W. Paton. A logic based integration of active and deductive databases. New Generation Computing, 15:205\u2013244, 1997.","journal-title":"New Generation Computing"},{"issue":"4","key":"19_CR19","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1145\/219035.219042","volume":"20","author":"P. Fraternali","year":"1995","unstructured":"P. Fraternali and L. Tanca. A structured approach for the definition of the semantics of active databases. Transactions on Database Systems, 20(4):414\u2013471, 1995.","journal-title":"Transactions on Database Systems"},{"key":"19_CR20","unstructured":"N. Gehani and H.V. Jagadish. Ode as an active database: Constraints and triggers. In Very Large Databases, 1991."},{"issue":"234","key":"19_CR21","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"M. Gelfond and V. Lifschitz. Representing actions and change by logic programs. Journal of Logic Programming, 17(2,3,4):301\u2013323, 1993.","journal-title":"Journal of Logic Programming"},{"key":"19_CR22","unstructured":"S. Ghandeharizadeh, R. Hull, and D. Jacobs. Heraclitus: Elevating deltas to be a first-class citizens in a database programming language. Technical Report USC-CS-94-581, revised 1995."},{"key":"19_CR23","unstructured":"S. Ghandeharizadeh, R. Hull, D. Jacobs, J. Castillo, M.E. Molano, S.H. Lu, J. Luo, C. Tsang, and G. Zhou. On implementing a language for specifying active database execution models. In Very Large Databases, 1993."},{"key":"19_CR24","unstructured":"J. Gray and A. Reuter. Transaction Processing: concepts and techniques. Morgan Kaufmann, 1993."},{"issue":"2","key":"19_CR25","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1017\/S0269888900000126","volume":"8","author":"E. Hanson","year":"1993","unstructured":"E. Hanson and J. Widom. An overview of production rules in database systems. Knowledge Engineering Review, 8(2):121\u2013143, 1993.","journal-title":"Knowledge Engineering Review"},{"key":"19_CR26","doi-asserted-by":"crossref","unstructured":"E.N. Hanson. Rule condition testing and action execution in ARIEL. In ACM SIGMOD, 1992.","DOI":"10.1145\/130283.130295"},{"key":"19_CR27","doi-asserted-by":"crossref","unstructured":"G. Kartha and V. Lifshitz. Actions with indirect effects: Preliminary report. In KR94, pages 341\u2013350, 1994.","DOI":"10.1016\/B978-1-4832-1452-8.50127-5"},{"key":"19_CR28","doi-asserted-by":"crossref","unstructured":"F. Lin and R. Reiter. State constraints revisited. Journal and Computation, and 4(5):665\u2013678.","DOI":"10.1093\/logcom\/4.5.655"},{"key":"19_CR29","doi-asserted-by":"crossref","unstructured":"D.R. McCarthy and U. Dayal. The architecture of an active database management system. In ACM SIGMOD, 1989.","DOI":"10.1145\/67544.66946"},{"key":"19_CR30","doi-asserted-by":"crossref","unstructured":"I. Motakis and C. Zaniolo. Composite temporal events in active database rules: A logic oriented approach. In Deductive and Object Oriented Databases (DOOD), 1995.","DOI":"10.1007\/3-540-60608-4_32"},{"key":"19_CR31","doi-asserted-by":"crossref","unstructured":"N.W. Paton, J. Campin, A.A.A. Fernandez, and M. Howard. Formal specification of active database functionality: A survey. In 2nd International Workshop on Rules in Database Systems, 1995.","DOI":"10.1007\/3-540-60365-4_117"},{"key":"19_CR32","doi-asserted-by":"crossref","unstructured":"P. Picouet and V. Vianu. Semantics and expressiveness issues in active databases. In Principles of Database Systems, 1995. full version 1996.","DOI":"10.1145\/212433.220203"},{"key":"19_CR33","volume-title":"Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data","author":"P. Sistla","year":"1995","unstructured":"P. Sistla and O. Wolfson. Temporal conditions and integrity constraint checking in active database systems. In Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data. ACM Press, San Jose, CA, 1995."},{"key":"19_CR34","doi-asserted-by":"crossref","unstructured":"M. Stonebraker, A. Jhingran, J. Goh, and S. Potamianos. On rules, procedure caching and views in database systems. In ACM SIGMOD, 1990.","DOI":"10.1145\/93597.98737"},{"issue":"10","key":"19_CR35","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/125223.125262","volume":"34","author":"M. Stonebraker","year":"1991","unstructured":"M. Stonebraker and G. Kemnitz. The Postgres next-generation database management system. Communications of ACM, 34(10):78\u201392, 1991.","journal-title":"Communications of ACM"},{"key":"19_CR36","unstructured":"J.D. Ullman. Principles of Database and Knowledge-base Systems, volume I. Computer Science Press, 1988."},{"key":"19_CR37","unstructured":"S.D. Urban, A.P. Karadimce, and R.B. Nannapaneni. The implementation and evaluation of integrity maintenance rules in an object-oriented database. In 8th International Conference on Data Engineering, 1992."},{"key":"19_CR38","unstructured":"G. Weikum and H.J. Schek Concepts and Applications of Multilevel Transactions and Open Nested transactions. in Transaction Models for Advanced Database Applications, Morgan-Kaufmann, 1992. A. Elmagarmid, editor."},{"key":"19_CR39","doi-asserted-by":"crossref","unstructured":"J. Widom. A denotational semantics for the Starburst production rule language, 1992. SIGMOD Record 21.","DOI":"10.1145\/140979.140980"},{"key":"19_CR40","doi-asserted-by":"crossref","unstructured":"J. Widom. Deductive and active databases: Two paradigms or ends of a spectrum? In International Workshop on Rules in Database Systems, 1993.","DOI":"10.1007\/978-1-4471-3225-7_18"},{"issue":"4","key":"19_CR41","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1109\/69.536251","volume":"8","author":"J. Widom","year":"1996","unstructured":"J. Widom. The Starburst active database rule system. IEEE Transactions on Knowledge and Data Engineering, 8(4):583\u2013595, 1996.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"19_CR42","unstructured":"J. Widom and S. Ceri. Active Database Systems: Triggers and Rules for Advanced Database Processing. Morgan Kaufmann, 1996."},{"key":"19_CR43","doi-asserted-by":"crossref","unstructured":"C. Zaniolo. A unified semantics for active and deductive databases. In International Workshop on Rules in Database Systems, 1993.","DOI":"10.1007\/978-1-4471-3225-7_16"},{"key":"19_CR44","doi-asserted-by":"crossref","unstructured":"C. Zaniolo. Active database rules with transaction-conscious stable-model semantics. In Deductive and Object Oriented Databases (DOOD), 1995.","DOI":"10.1007\/3-540-60608-4_34"}],"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-63792-3_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,25]],"date-time":"2021-10-25T14:52:39Z","timestamp":1635173559000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63792-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540637929","9783540696476"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/3-540-63792-3_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}