{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:54:23Z","timestamp":1742392463895},"publisher-location":"Berlin, Heidelberg","reference-count":24,"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\/bfb0031741","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T06:44:07Z","timestamp":1134283447000},"page":"173-195","source":"Crossref","is-referenced-by-count":13,"title":["Formal characterization of active databases"],"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"}]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"8_CR1","unstructured":"C. Baral. Reasoning about Actions: Non-deterministic effects, Constraints and Qualification. In Proc. of IJGAI 95, pages 2017\u20132023, 1995."},{"key":"8_CR2","unstructured":"C. Baral and M. Gelfond. Reasoning about effects of concurrent actions. Journal of Logic Programming (to appear), 1996."},{"key":"8_CR3","unstructured":"C. Baral, M. Gelfond, and A. Provetti. Representing Actions: Laws, Observations and Hypothesis. Journal of Logic Programming (to appear), 1996."},{"key":"8_CR4","unstructured":"A. Bonner and M. Kifer. Transaction logic programming. In D. S. Warren, editor, Logic Programming: Proc. of the 10th International Conf., pages 257\u2013279, 1993."},{"key":"8_CR5","unstructured":"S. Ceri, P. Fraternali, S. Paraboschi, and L. Branca. Active rule management in Chimera. In J. Widom and S Ceri, editors, Active Database Systems, pages 151\u2013176. Morgan Kaufmann, 1996."},{"key":"8_CR6","unstructured":"U. Dayal, A. Buchmann, and S. Chakravarthy. The HiPAC Project. In J. Widom and S Ceri, editors, Active Database Systems, pages 177\u2013206. Morgan Kaufmann, 1996."},{"key":"8_CR7","unstructured":"P. Fraternali, D. Montesi, and L. Tanca. Active database semantics. In Proc. of the Fifth Australasian Database Conference, 1994."},{"key":"8_CR8","unstructured":"N. Gehani and H. Jagadish. Active database facilities in Ode. In J. Widom and S Ceri, editors, Active Database Systems, pages 207\u2013232. Morgan Kaufmann, 1996."},{"key":"8_CR9","unstructured":"E. Hanson. The Ariel Project. In J. Widom and S Ceri, editors, Active Database Systems, pages 63\u201386. Morgan Kaufmann, 1996."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"G. Kartha and V. Lifschitz. Actions with indirect effects: Preliminary report. In KR 94, pages 341\u2013350, 1994.","DOI":"10.1016\/B978-1-4832-1452-8.50127-5"},{"key":"8_CR11","unstructured":"Y. Lesperance, H. Levesque, F. Lin, D. Marcu, R. Reiter, and R. Scherl. A logical approach to high level robot programming \u2014 a progress report. In Working notes of the 1994 AAAI fall symposium on Control of the Physical World by Intelligent Systems (to appear), New Orleans, LA, November 1994."},{"issue":"5","key":"8_CR12","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1093\/logcom\/4.5.655","volume":"4","author":"F. Lin","year":"1994","unstructured":"F. Lin and R. Reiter. State constraints revisited. Journal of Logic and Computation, 4(5):655\u2013678, October 1994.","journal-title":"Journal of Logic and Computation"},{"key":"8_CR13","unstructured":"G. Mendez, J Llopis, J. Lobo, and C. Baral. Temporal logic and reasoning about actions. In Common Sense 96, 1996."},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"S. Manchanda and D. S. Warren. A logic-based language for database updates. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 363\u2013394. Morgan Kaufmann, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50014-2"},{"key":"8_CR15","unstructured":"S. Potamianos and M. Stonebraker. The POSTGRESS rule system. In J. Widom and S Ceri, editors, Active Database Systems, pages 43\u201362. Morgan Kaufmann, 1996."},{"issue":"20","key":"8_CR16","first-page":"1","volume":"19","author":"R. Reiter","year":"1994","unstructured":"R. Reiter. On specifying database updates. Journal of Logic Programming, 19, 20:1\u201339, 1994.","journal-title":"Journal of Logic Programming"},{"key":"8_CR17","unstructured":"E. Simon and J. Kiernan. The A-RDL system. In J. Widom and S Ceri, editors, Active Database Systems, pages 111\u2013150. Morgan Kaufmann, 1996."},{"key":"8_CR18","volume-title":"Temporal conditions and integrity constraint checking in active database systems","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, San Jose, CA, 1995. ACM Press."},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"D. Sacca and C. Zaniolo. Stable models and non-determinism in logic programs with negation. In Proceedings of PODS 1990, pages 205\u2013217, 1990.","DOI":"10.1145\/298514.298572"},{"key":"8_CR20","unstructured":"J. Widom and S Ceri, editors. Active Database Systems \u2014 Triggers and Rules for advanced database processing. Morgan Kaufmann, 1996."},{"issue":"3","key":"8_CR21","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1145\/140979.140980","volume":"21","author":"J. Widom","year":"1992","unstructured":"J. Widom. A denotational semantics for starburst production rule language. SIGMOD Record, 21(3):4\u20139, 1992.","journal-title":"SIGMOD Record"},{"key":"8_CR22","unstructured":"J. Widom. The Starburst rule system. In J. Widom and S Ceri, editors, Active Database Systems, pages 87\u2013110. Morgan Kaufmann, 1996."},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"C. Zaniolo. A unified semantics for active and deductive databases. In Proceedings of 1st international workshop on rules in database systems, pages 271\u2013287. Springer-Verlag, 1993.","DOI":"10.1007\/978-1-4471-3225-7_16"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"C. Zaniolo. Active database rules with transaction-conscious stable models semantics. In Proceedings of DOOD 1996, pages 55\u201372, 1996.","DOI":"10.1007\/3-540-60608-4_34"}],"container-title":["Lecture Notes in Computer Science","Logic in Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0031741","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T13:49:04Z","timestamp":1586612944000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0031741"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540618140","9783540706830"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/bfb0031741","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}