{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T17:58:16Z","timestamp":1649181496696},"reference-count":18,"publisher":"Informa UK Limited","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[1998,1]]},"DOI":"10.1080\/11663081.1998.10510942","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T08:10:26Z","timestamp":1338365426000},"page":"199-220","source":"Crossref","is-referenced-by-count":1,"title":["An Algorithmic Logic Approach to Formalizing Database Update Semantics"],"prefix":"10.1080","volume":"8","author":[{"given":"James","family":"Brawner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Vorbach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"crossref","unstructured":"Abiteboul, S. and Hull, R. IFO: A formal semantic database model. ACM trans, on database systems 12(4)","DOI":"10.1145\/32204.32205"},{"key":"CIT0002","first-page":"142","volume-title":"Proc. of the 23rd ACM Annual Conference (CSC '95)","author":"Brawner J."},{"key":"CIT0003","unstructured":"Ceri, S., Fraternali, P., Paraboschi, S. and Tanca, L. 1994. \u201cAutomatic generation of production rules for integrity maintenance, ACM trans, on database systems 19(3) (Sept.\u201d. 367\u2013422."},{"key":"CIT0004","first-page":"147","author":"Chen W.","journal-title":"Proc. of Deductive and Object-Oriented Databases Conf. (DOOD'91)"},{"key":"CIT0005","volume-title":"Proc. of the 3rd Int'l Conf on Data and Knowledge Engineering","author":"Dayal U.","year":"1988"},{"key":"CIT0006","volume-title":"Object-Oriented Databases\u2014A Semantic Data Model Approach","author":"Gray P.","year":"1992"},{"key":"CIT0007","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-09237-4","volume-title":"First-Order Dynamic Logic, Springer-Verlag, Lecture Notes in Computer Science no. 68","author":"Harel D.","year":"1979"},{"key":"CIT0008","doi-asserted-by":"crossref","unstructured":"Kifer, M. and Lausen, G. F-Logic: a higher-order language for reasoning about objects inheritance, and scheme, Proc. SIGMOD '89","DOI":"10.1145\/67544.66939"},{"key":"CIT0009","volume-title":"Conceptual Modeling, Databases, and Case\u2014An Integrated View of Information System Development, Wiley","author":"Loucopoulos P.","year":"1992"},{"key":"CIT0010","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"Manchanda S.","year":"1988"},{"key":"CIT0011","volume-title":"Algorithmic Logic, D. Reidel","author":"Mirkowska G.","year":"1986"},{"key":"CIT0012","volume-title":"Logic and Databases","author":"Nicolas J. M.","year":"1978"},{"key":"CIT0013","unstructured":"Peckham, J., Maryanski, F. and Demurjian, S. Towards the correctness and consistency of update semantics in semantic database schemas, to appear in IEEE trans. Knowl. and Data Eng"},{"issue":"3","key":"CIT0014","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1145\/27629.27630","volume":"12","author":"Rybinski H.","year":"1987","journal-title":"ACM trans. on database systems"},{"key":"CIT0015","volume-title":"Database Semantics (DS-1)","author":"Solvberg A.","year":"1986"},{"key":"CIT0016","doi-asserted-by":"crossref","unstructured":"Urban, S. and Delcambre, L. Constraint Analysis: a design process for specifying operations on objects, IEEE trans. Knowl. and Data Eng., 2(4) 391- 400","DOI":"10.1109\/69.63251"},{"key":"CIT0017","volume":"40","author":"Vorbach J.","year":"1992","journal-title":"Bulletin of the Polish Academy of Science"},{"key":"CIT0018","volume-title":"Readings in Object-Oriented Database Systems, Morgan Kaufmann","author":"Zdonik S.","year":"1990"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,29]],"date-time":"2019-06-29T07:07:39Z","timestamp":1561792059000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1998.10510942"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,1]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998,1]]}},"alternative-id":["10.1080\/11663081.1998.10510942"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1998.10510942","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,1]]}}}