{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T12:05:31Z","timestamp":1749125131740},"reference-count":46,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1999,8,1]],"date-time":"1999-08-01T00:00:00Z","timestamp":933465600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Data & Knowledge Engineering"],"published-print":{"date-parts":[[1999,8]]},"DOI":"10.1016\/s0169-023x(99)00015-4","type":"journal-article","created":{"date-parts":[[2003,3,25]],"date-time":"2003-03-25T14:55:35Z","timestamp":1048604135000},"page":"25-65","source":"Crossref","is-referenced-by-count":4,"title":["On cyclic covers and perfect models"],"prefix":"10.1016","volume":"31","author":[{"given":"C.A.","family":"Johnson","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0169-023X(99)00015-4_BIB1","unstructured":"S. Abiteboul, S. Cluet, T. Milo, Querying and updating the file, in: Proceedings of the 19th VLDB, 1993, pp. 73-84"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB2","doi-asserted-by":"crossref","unstructured":"P. Atzeni, R. Torlone, Solving ambiguities in updating deductive databases, in: Mathematical Foundations of Database Systems, Lecture Notes in Computer Science, vol. 495, pp. 104\u2013118, Springer, Berlin, 1991","DOI":"10.1007\/3-540-54009-1_8"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB3","doi-asserted-by":"crossref","unstructured":"S. Brass, J. Dix, A disjunctive semantics based upon unfolding and bottom-up evaluation, in: B. Wolfinger, (Ed.), Innovationen bei Rechen-und Kommunikationssystemen (IFIP- Congress, Workshop FG2: Disjunctive Logic Programming and Disjunctive Databases), Springer, 1994, pp. 83\u201391","DOI":"10.1007\/978-3-642-51136-3_13"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB4","unstructured":"S. Brass, J. Dix, Disjunctive semantics based upon partial and bottom-up evaluation, in: L. Sterling (Ed.), Proceedings of the 12th International Conference on Logic Programming, Tokyo, MIT Press"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB5","doi-asserted-by":"crossref","unstructured":"S. Brass, J. Dix, A general approach to bottom-up computation of disjunctive semantics, in: Non-monotonic Extensions of Logic Programming, Springer Lecture Notes in Artificial Intelligence, 927, 1995, pp. 127\u2013155","DOI":"10.1007\/BFb0030663"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB6","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/S0743-1066(96)00115-X","article-title":"Characterisations of the disjunctive stable semantics by partial evaluation","volume":"32","author":"Brass","year":"1997","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB7","doi-asserted-by":"crossref","unstructured":"S. Brass, J. Dix, Characterisations of the disjunctive well-founded semantics: confluent calculi and iterated GCWA, in: L.M. Pereira, J.J. Alferes, E. Orlowska (Eds), Logics in Artificial Intelligence, Springer Lecture Notes in Computer Science, vol. 1126, 1996, pp. 268\u2013283","DOI":"10.1007\/3-540-61630-6_19"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB8","unstructured":"S. Brass, J. Dix, I. Niemel\u00e4, T. Przymusinski, A comparison of the static and disjunctive well-founded semantics, in: A.G. Cohn, L.K. Schubert, S.C. Shapiro (Eds.), Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, 1998"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB9","unstructured":"F. Bry, Intensional updates: abduction via deduction, in: Proceedings of the Seventh International Conference on Logic Programming, 1990, pp. 561\u2013578"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB10","doi-asserted-by":"crossref","unstructured":"H. Decker, Drawing updates from derivations, in: S. Abiteboul, P.C. Kanellakis (Eds.), Proceedings of the Third International Conference on Database Theory, Paris, Lecture Notes in Computer Science, vol. 470, pp. 437\u2013451, Springer, Berlin, 1990","DOI":"10.1007\/3-540-53507-1_94"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB11","doi-asserted-by":"crossref","unstructured":"R. Fagin, J. Ullman, M. Vardi, On the semantics of updates in databases, in: Proceedings of the Second ACM Symposium on the Principles of Database Systems, 1983, pp. 352\u2013365","DOI":"10.1145\/588058.588100"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB12","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0743-1066(94)00106-G","article-title":"Computing perfect models of disjunctive stratified databases","volume":"25","author":"Fern\u00e1ndez","year":"1995","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB13","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1111\/j.1467-8640.1995.tb00024.x","article-title":"Computing perfect and stable models using ordered model trees","volume":"11","author":"Fern\u00e1ndez","year":"1995","journal-title":"Computational Intelligence"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB14","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/BF00244495","article-title":"Model theoretic approach to view updates in deductive databases","volume":"17","author":"Fern\u00e1ndez","year":"1996","journal-title":"J. Automated Reasoning"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB15","unstructured":"M. Gelfond, V. Lifschitz, The stable model semantics for logic programming, in: R. Kowalski, K. Bowen (Eds.), Proceedings of the Fifth International Conference on Logic Programming, Seattle, 1988, pp. 1070\u20131080"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB16","first-page":"247","article-title":"Answering queries in indefinite databases and the null value problem","volume":"3","author":"Grant","year":"1986","journal-title":"Advances in Computing Research"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB17","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/BF00881907","article-title":"View updates in stratified disjunctive databases","volume":"11","author":"Grant","year":"1993","journal-title":"J. Automated Reasoning"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB18","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/2422.2423","article-title":"On compiling queries in recursive first-order databases","volume":"31","author":"Henschen","year":"1984","journal-title":"J. Association of Computing Machinery"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB19","doi-asserted-by":"crossref","unstructured":"L. Henschen, H. Park, Compiling the GCWA in indefinite databases, in: J. Minker (Ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kauffman, Washington, 1988","DOI":"10.1016\/B978-0-934613-40-8.50015-4"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB20","unstructured":"C.A. Johnson, Query processing in indefinite stratified databases, Computer Science technical report TR95-14 (Keele University). Available at http:\/\/www.keele.ac.uk\/depts\/cs\/cshome.html"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB21","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0169-023X(96)00037-7","article-title":"On computing minimal and perfect model membership","volume":"18","author":"Johnson","year":"1996","journal-title":"Data and Knowledge Engineering"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB22","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1023\/A:1005779507994","article-title":"Deduction trees and the view update problem in indefinite deductive databases","volume":"19","author":"Johnson","year":"1997","journal-title":"J. Automated Reasoning"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB23","unstructured":"C.A. Johnson, On cyclic covers and perfect models, Computer Science technical report TR97-04 (Keele University). Available at http:\/\/www.keele.ac.uk\/depts\/cs\/cshome.html"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0169-023X(97)00026-8","article-title":"Top down query processing in indefinite stratified databases","volume":"26","author":"Johnson","year":"1998","journal-title":"Data and Knowledge Engineering"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB25","unstructured":"A. Kakas, P. Mancarella, Database updates through abduction, in: Proceedings of the 16th VLDB, 1990, pp. 650\u2013661"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB26","unstructured":"A. Keller, Choosing a view update translator by dialog at view definition time, in: Proceedings of the 12th VLDB, 1986, pp. 467\u2013474"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB27","doi-asserted-by":"crossref","unstructured":"A. Keller, T. Barsalou, N. Siambela, G. Wiederhold, Updating relational databases through object-based views, in: Proc. ACM SIGMOD'91, 1991, pp. 248\u201325","DOI":"10.1145\/115790.115831"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB28","unstructured":"H.J. Komorowski, A Specification of an Abstract Prolog Machine and its Application to Partial Evaluation, Ph. D. thesis, University of Linkoping, 1981"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB29","unstructured":"M. Kramer, G. Lausen, G. Saake, Updates in a rule-based language for objects, in: Proceedings of the 18th VLDB, Vancouver, 1992, pp. 251-262"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB30","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0743-1066(91)90027-M","article-title":"Partial evaluation in logic programming","volume":"11","author":"Lloyd","year":"1991","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB31","doi-asserted-by":"crossref","unstructured":"T. Przymusinski, On the declarative semantics of deductive databases and logic programs, in: J. Minker (Ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kauffman, Washington, 1988","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB32","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BF00243002","article-title":"On the declarative and procedural semantics of logic programs","volume":"5","author":"Przymusinski","year":"1989","journal-title":"J. Automated Reasoning"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB33","doi-asserted-by":"crossref","first-page":"445","DOI":"10.3233\/FI-1990-13404","article-title":"The well-founded semantics coincides with the three-valued stable semantics","volume":"13","author":"Przymusinski","year":"1990","journal-title":"Fundamenta Informaticae"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB34","unstructured":"T.C. Przymusinski, Stationary semantics for disjunctive logic programs and deductive databases, in: S. Debray, M. Hermenegildo (Eds.), Proceedings of the North American Logic Programming Conference, Austin, Texas, MIT Press, 1990, 40-59"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB35","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/BF03037171","article-title":"Stable semantics for disjunctive programs","volume":"9","author":"Przymusinski","year":"1991","journal-title":"New Generation Computing"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB36","doi-asserted-by":"crossref","unstructured":"T.C. Przymusinski, Semantics of disjunctive logic programs and deductive databases, in: Proceedings of the Second International Conference on Deductive and Object-Oriented Databases, DOOD'91, Munich, Springer, 1991","DOI":"10.1007\/3-540-55015-1_5"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB37","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF01530784","article-title":"Well-founded and stationary models of logic programs","volume":"12","author":"Przymusinski","year":"1994","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB38","doi-asserted-by":"crossref","first-page":"51","DOI":"10.3233\/FI-1990-13106","article-title":"Weakly stratified logic programs","volume":"13","author":"Przymusinski","year":"1990","journal-title":"Fundamenta Informaticae"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB39","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/BF01530826","article-title":"Static semantics for normal and disjunctive logic programs","volume":"14","author":"Przymusinski","year":"1995","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB40","author":"Rich","year":"1991"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB41","unstructured":"F. Rossi, S. Naqvi, Contributions to the view update problem, in: Proceedings of the Sixth International Conference on Logic Programming, 1989, pp. 398\u2013415"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB42","doi-asserted-by":"crossref","unstructured":"M. Scholl, C. Laasch, M. Tresch, Updatable views in object oriented database systems, in: Proceedings of the 2nd International Conference on Deductive and Object Oriented Databases, Munich, Lecture Notes in Computer Science, vol. 566, Springer, Berlin, 1991, pp. 189\u2013207","DOI":"10.1007\/3-540-55015-1_10"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB43","unstructured":"A. Tomasic, View update annotation in definite deductive databases, Proceedings of the ICDT '88, 1988, pp. 338\u2013352"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB44","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","article-title":"The well-founded semantics for general logic programs","volume":"38","author":"van Gelder","year":"1991","journal-title":"J. Assoc. for Computing Machinery"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB45","doi-asserted-by":"crossref","unstructured":"M. Winslett, Updating Logical Databases, Cambridge Tracts in Theoretical Computer Science, vol. 9, Cambridge University Press, 1990","DOI":"10.1017\/CBO9780511663109"},{"key":"10.1016\/S0169-023X(99)00015-4_BIB46","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/BF00881914","article-title":"Ordered model trees: A normal form for disjunctive deductive databases","volume":"13","author":"Yahya","year":"1994","journal-title":"J. Automated Reasoning"}],"container-title":["Data & Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169023X99000154?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169023X99000154?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,4,11]],"date-time":"2023-04-11T01:13:52Z","timestamp":1681175632000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0169023X99000154"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,8]]},"references-count":46,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,8]]}},"alternative-id":["S0169023X99000154"],"URL":"https:\/\/doi.org\/10.1016\/s0169-023x(99)00015-4","relation":{},"ISSN":["0169-023X"],"issn-type":[{"value":"0169-023X","type":"print"}],"subject":[],"published":{"date-parts":[[1999,8]]}}}