{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,31]],"date-time":"2022-12-31T07:15:31Z","timestamp":1672470931410},"publisher-location":"Berlin, Heidelberg","reference-count":76,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540560395","type":"print"},{"value":"9783540473602","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-56039-4_31","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:54:55Z","timestamp":1330253695000},"page":"21-50","source":"Crossref","is-referenced-by-count":16,"title":["Semantics of disjunctive deductive databases"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Alberto","family":"Fern\u00e1ndez","sequence":"first","affiliation":[]},{"given":"Jack","family":"Minker","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"K.R. Apt","year":"1988","unstructured":"K.R. Apt, H.A. Blair, and A. Walker. Towards a Theory of Declarative Knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89\u2013148. Morgan Kaufmann Pub., Washington, D.C., 1988."},{"issue":"3","key":"2_CR2","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K.R. Apt","year":"1982","unstructured":"K.R. Apt and M.H. van Emden. Contributions to the Theory of Logic Programming. J.ACM, 29(3):841\u2013862, 1982.","journal-title":"J.ACM"},{"key":"2_CR3","unstructured":"A. Borgida and D.W. Etherington. Hierarchical knowledge bases and efficient disjunction. In Proc. of the First Intl. Conf. on Principle of Knowledge Representation and Reasoning (KR-89), pages 33\u201343, Toronto, Canada, 1989."},{"key":"2_CR4","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/978-1-4615-8297-7_11","volume-title":"Advances in Data Base Theory, volume 1","author":"J. Biskup","year":"1981","unstructured":"J. Biskup. A formal approach to null values in database relations. In J. Minker H. Gallaire and J. M. Nicolas, editors, Advances in Data Base Theory, volume 1, pages 299\u2013341. Plenum Press, New York, 1981."},{"key":"2_CR5","volume-title":"A foundation of Codd's relational maybe-operations","author":"J. Biskup","year":"1981","unstructured":"J. Biskup. A foundation of Codd's relational maybe-operations. University Park, 1981. Pennsylvania State Univ."},{"key":"2_CR6","volume-title":"Technical report, Dept of Computer Science","author":"C. Baral","year":"1989","unstructured":"C. Baral, J. Lobo, and J. Minker. Generalized disjunctive well-founded semantics for logic programs. Technical report, Dept of Computer Science, Univ. of Maryland, College Park Md 20742, 1989. To appear in Annals of Math. and AI."},{"key":"2_CR7","first-page":"102","volume-title":"Proc. of Tenth Intl. Conf. on Automated Deduction","author":"C. Baral","year":"1989","unstructured":"C. Baral, J. Lobo, and J. Minker. Generalized well-founded semantics for logic programs. In M. E. Stickel, editor, Proc. of Tenth Intl. Conf. on Automated Deduction, pages 102\u2013116, Kaiserslautern, Germany, Jul. 1989. Springer-Verlag."},{"key":"2_CR8","first-page":"465","volume-title":"Proc. of Fifth Intl. Symposium on Methodologies for Intelligent Systems","author":"C. Baral","year":"1990","unstructured":"C. Baral, J. Lobo, and J. Minker. Generalized disjunctive well-founded semantics for logic programs: Declarative semantics. In M. Zemankova Z. W. Ras and M. L. Emrich, editors, Proc. of Fifth Intl. Symposium on Methodologies for Intelligent Systems, pages 465\u2013473, Charlotte, NC, 1990. North-Holland."},{"key":"2_CR9","doi-asserted-by":"crossref","first-page":"456","DOI":"10.21236\/ADA232064","volume-title":"Generalized disjunctive well-founded semantics for logic programs: Procedural semantics","author":"C. Baral","year":"1990","unstructured":"C. Baral, J. Lobo, and J. Maker. Generalized disjunctive well-founded semantics for logic programs: Procedural semantics. In M. Zemankova Z. W. Ras and M. L. Emrich, editors, Proc. of Fifth Intl. Symposium on Methodologies for Inelligent Systems, pages 456\u2013464, Charlotte, NC, 1990. North-Holland."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"C. Baral, J. Lobo, and J. Minker. WF3: A semantics for negation in normal disjunctive logic programs. In Proc. of the 6th Intl. Symposium on Methodologies for Intelligent Systems, Charlotte, NC, 1991.","DOI":"10.1007\/3-540-54563-8_109"},{"issue":"1","key":"2_CR11","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1016\/0004-3702(85)90040-2","volume":"25","author":"G. Bossu","year":"1985","unstructured":"G. Bossu and P. Siegel. Saturation, nonmonotonic reasoning and the closed-world assumption. Artificial Intelligence, 25(1):13\u201363, Jan. 1985.","journal-title":"Artificial Intelligence"},{"issue":"I","key":"2_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(85)90002-0","volume":"2","author":"A. Chandra","year":"1985","unstructured":"A. Chandra and D. Harel. Horn clause queries and generalizations. Journal of Logic Programming, 2(I):1\u201315, Apr. 1985.","journal-title":"Journal of Logic Programming"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"S. Chi and L. Henschen. Recursive query answering with non-Horn clauses. In E. Lusk and R. Overbeek, editors, Proc. 9th Intl. Conf. on Automated Deduction, pages 294\u2013312, Argonne, IL, May 1988.","DOI":"10.1007\/BFb0012838"},{"key":"2_CR14","volume-title":"A possible world semantics for non-Horn databases","author":"E. Chan","year":"1989","unstructured":"E. Chan. A possible world semantics for non-Horn databases, 1989. Univ. of Waterloo, Canada."},{"key":"2_CR15","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K. L. Clark","year":"1978","unstructured":"K. L. Clark. Negation as Failure. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 293\u2013322. Plenum Press, New York, 1978."},{"issue":"4","key":"2_CR16","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1145\/320107.320109","volume":"4","author":"E. F. Cpdd","year":"1979","unstructured":"E. F. Cpdd. Extending the database relational model to capture more meaning. Trans. Database Systems, 4(4):397\u2013434, 1979.","journal-title":"Trans. Database Systems"},{"key":"2_CR17","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0020-0190(90)90012-M","volume":"34","author":"J. Chomicki","year":"1990","unstructured":"J. Chomicki and V.S. Subrahmanian. Generalized closed world assumption is \u03c0 2 0 -complete. Information Processing Letters, 34:289\u2013291, 1990.","journal-title":"Information Processing Letters"},{"key":"2_CR18","unstructured":"M. Dalal. Some tractable classes of disjunctive logic programs. Technical report, Rutgers Univ., 1992."},{"key":"2_CR19","unstructured":"H. Decker. On alternative models, fixpoints and consistency of disjunctive databases, May 1991."},{"key":"2_CR20","unstructured":"H. Decker. On the declarative, operational and procedural semantics of disjunctive computational theories. In Proc. of the 2th Intl. Workshop on the Deductive Approach to Information Systems and Databases, Aiguablava, Spain, Sept. 1991. Invited paper."},{"key":"2_CR21","unstructured":"J. A. Fern\u00e1ndez, J. Lobo, J. Minker, and V.S. Subrahmanian. Disjunctive LP + integrity constraints = stable models semantics. In L. Lakshmanan, editor, Proc. of the ILPS'91 Workshop on Deductive Databases, pages 110\u2013117, San Diego, CA, Oct. 1991. A full version has been submitted to Annals of Mathematics and Artificial Intelligence."},{"key":"2_CR22","unstructured":"J. A. Fern\u00e1ndez and J. Minker. Bottom-up evaluation of Hierarchical Disjunctive Deductive Databases. In K. Furukawa, editor, Logic Programming Proceedings of the Eighth International Conference. MIT Press, 1991."},{"key":"2_CR23","unstructured":"J. A. Fern\u00e1ndez and J. Minker. Computing perfect models of disjunctive stratified databases. In D. Loveland, J. Lobo, and A. Rajasekar, editors, Proc. of the ILPS'91 Workshop on Disjunctive Logic Programs, pages 110\u2013117, San Diego, CA, Oct. 1991. An extended version has been submitted to Annals of Math. and AI."},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"R. Fagin, J.D. Ullman, and M.Y. Vardi. On the semantics of updates in databases. In Proc. 7th ACM SIGACT\/SIGMOD Symposium on Principles of Database Systems, pages 352\u2013365, 1983.","DOI":"10.1145\/588058.588100"},{"key":"2_CR25","unstructured":"R. Fagin, J. Ullman, and M. Vardi. Contributions to the view update problem. In Proc. of the Sixth Intl. Conf. on Logic Programming, pages 398\u2013415, 1989."},{"key":"2_CR26","unstructured":"J. Grant, J. Horty, J. Lobo, and J. Minker. On the semantics of updates in databases. Presented at the Second Intl. Symposium on Artificial Intelligence and Mathematics, Jan. 1992."},{"key":"2_CR27","first-page":"1070","volume-title":"Proc. of the 5th Logic Programming Symposium","author":"M. Gelfond","year":"1988","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proc. of the 5th Logic Programming Symposium, pages 1070\u20131080, Assoc. for Logic Programming, MIT Press, Cambridge, Mass, 1988."},{"key":"2_CR28","unstructured":"M. Gelfond and V. Lifschits. Logic programs with classical negation. In D.H.D. Warren and P. Szeredi, editors, Logic Programming \u2014 Proc. of the Seventh Intl. Conf., pages 579\u2013597. MIT Press, 1990."},{"key":"2_CR29","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/BF03037514","volume":"8","author":"A. Guessoum","year":"1990","unstructured":"A. Guessoum and J. Lloyd. Updating knowledge bases. New Generation Computing, 8:71\u201389, 1990.","journal-title":"New Generation Computing"},{"key":"2_CR30","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/BF03037523","volume":"10","author":"A. Guessoum","year":"1991","unstructured":"A. Guessoum and J. Lloyd. Updating knowledge bases ii. New Generation Computing, 10:73\u2013100, 1991.","journal-title":"New Generation Computing"},{"key":"2_CR31","volume-title":"Logic and Databases","year":"1978","unstructured":"H. Gallaire and J. Minker, editors. Logic and Databases. Plenum Press, New York, Apr. 1978."},{"issue":"2","key":"2_CR32","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/356924.356929","volume":"16","author":"H. Gallaire","year":"1984","unstructured":"H. Gallaire, J. Minker, and J-M. Nicolas. Logic and databases: A deductive approach. ACM Computing Surveys, 16(2):153\u2013185, Jun. 1984.","journal-title":"ACM Computing Surveys"},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"M. Gelfond, H. Przymusinska, and T.C. Przymusinski. The extended closed world assumption and its relation to parallel circumscription. Proc. Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, pages 133\u2013139, 1986.","DOI":"10.1145\/6012.15410"},{"key":"2_CR34","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(89)90068-4","volume":"38","author":"M. Gelfond","year":"1989","unstructured":"M. Gelfond, H. Przymusinska, and T.C. Przymusinski. On the Relationship between Circumscription and Negation as Failure. Artificial Intelligence, 38:75\u201394, 1989.","journal-title":"Artificial Intelligence"},{"issue":"5","key":"2_CR35","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1016\/0020-0190(77)90013-8","volume":"6","author":"J. Grant","year":"1977","unstructured":"J. Grant. Null values in a relational data. base. Information Processing Letters, 6(5):156\u2013157, 1977.","journal-title":"Information Processing Letters"},{"key":"2_CR36","unstructured":"R. Hill. Lush resolution and its completeness. Technical Report DCL Memo 78, Department of Artificial Intelligence, Univ. of Edinburgh, Aug. 1974."},{"key":"2_CR37","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1016\/B978-0-934613-40-8.50015-4","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"L.J. Henschen","year":"1988","unstructured":"L.J. Henschen and H. Park. Compiling the GCWA in Indefinite Databases. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 395\u2013438. Morgan Kaufmann Pub., Washington, D.C., 1988."},{"issue":"4","key":"2_CR38","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1145\/1634.1886","volume":"31","author":"T. Imielinski","year":"1984","unstructured":"T. Imielinski and W. Lipski. Incomplete information in relational databases. J. ACM, 31(4):761\u2013791, 1984.","journal-title":"J. ACM"},{"key":"2_CR39","first-page":"259","volume":"3","author":"T. Imielinski","year":"1991","unstructured":"T. Imielinski. Incomplete deductive databases. Annals of Math. and AI., 3:259\u2013293, 1991.","journal-title":"Annals of Math. and AI."},{"key":"2_CR40","doi-asserted-by":"crossref","unstructured":"T. Imielinski and K. Vadaparty. Complexity of Query Processing in Databases with OR-Objects. In Proc. 7th ACM SIGACT\/SIGMOD Symposium on Principles of Database Systems, pages 51\u201365, Phil., PA, Mar. 29\u201331 1989.","DOI":"10.1145\/73721.73726"},{"key":"2_CR41","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/978-1-4684-3384-5_4","volume-title":"Logic and Data Bases","author":"R.A. Kowalski","year":"1978","unstructured":"R.A. Kowalski. Logic for data description. In H. Gallaire J. Minker, editor, Logic and Data Bases, pages 77\u2013102. Plenum Press, New York, 1978."},{"key":"2_CR42","unstructured":"V. Lifschitz. Pointwise circumscription: A preliminary report. AAAI, pages 406\u2013410, 1986."},{"key":"2_CR43","first-page":"41","volume-title":"On databases with incomplete information. volume 28","author":"W. Lipski","year":"1981","unstructured":"W. Lipski. On databases with incomplete information. volume 28, pages 41\u201370. ACM, New York, 1981."},{"key":"2_CR44","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second edition, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"2_CR45","doi-asserted-by":"crossref","unstructured":"J. Lobo, J. Minker, and A. Rajasekar. Fundations of Disjunctive Logic Programming. MIT Press, 1992.","DOI":"10.1016\/B978-0-12-450010-5.50022-0"},{"issue":"1","key":"2_CR46","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/77643.77644","volume":"15","author":"K.C. Liu","year":"1990","unstructured":"K.C. Liu and R. Sunderraman. Indefinite and maybe information in relational databases. ACM Transactions on Database Systems, 15(1):1\u201339, 1990.","journal-title":"ACM Transactions on Database Systems"},{"key":"2_CR47","doi-asserted-by":"crossref","unstructured":"K.-C. Liu and R. Sunderraman. On representing indefinite and maybe information in relational databases: A generalization. In Proc. of IEEE Data Engineering, pages 495\u2013502, Los Angeles, Feb. 1990.","DOI":"10.1109\/ICDE.1990.113503"},{"key":"2_CR48","volume-title":"Technical report","author":"J. Lobo","year":"1992","unstructured":"J. Lobo, C. Yu, and G. Wang. Computing the transitive closure in disjunctive databases. Technical report, Department of Electrical Engineering and Computer Science, Univ. of Illinois at Chicago, 1992."},{"issue":"1","key":"2_CR49","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"J. McCarthy. Circumscription \u2014 a form of non-monotonic reasoning. Artificial Intelligence, 13(1 and 2):27\u201339, 1980.","journal-title":"Artificial Intelligence"},{"key":"2_CR50","unstructured":"J. Minker and J. Grant. Answering queries in indefinite databases and the null value problem. In P. Kanellakis, editor, Advances in Computing Research, pages 247\u2013267. 1986."},{"key":"2_CR51","doi-asserted-by":"crossref","unstructured":"J. Minker. On indefinite databases and the closed world assumption. In Proc. of 6th Conf. on Automated Deduction, pages 292\u2013308, New York, 1982.","DOI":"10.1007\/BFb0000066"},{"key":"2_CR52","unstructured":"J. Minker. Proc. of workshop on foundations of deductive databases and logic programming, Aug. 1986."},{"key":"2_CR53","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0743-1066(88)90006-4","volume":"5","author":"J. Minker","year":"1988","unstructured":"J. Minker. Perspectives in deductive databases. Journal of Logic Programming, 5:33\u201360, 1988.","journal-title":"Journal of Logic Programming"},{"key":"2_CR54","unstructured":"J. Minker. Toward a foundation of disjunctive logic programming. In E.L. Lusk and R.A. Overbeek, editors, Proc. North American Conf. on Logic Programming, pages 1215\u20131235, 1989."},{"key":"2_CR55","volume-title":"Technical Report CS-TR-1869","author":"J. Minker","year":"1987","unstructured":"J. Minker and A. Rajasekar. A Fixpoint Semantics for Non-Horn Logic Programs. Technical Report CS-TR-1869, Department of Computer Science Univ. of Maryland, College Park, 1987."},{"key":"2_CR56","doi-asserted-by":"crossref","unstructured":"J. Minker and A. Rajasekar. A fixpoint semantics for disjunctive logic programs. Journal of Logic Programming, 1990.","DOI":"10.1016\/0743-1066(90)90033-2"},{"key":"2_CR57","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, chapter 5","author":"T. C. Przymusinski","year":"1988","unstructured":"T. C. Przymusinski. On the declarative semantics of deductive databases and logic programming. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, chapter 5, pages 193\u2013216. Morgan Kaufmann Pub., Washington, D.C., 1988."},{"key":"2_CR58","unstructured":"T. Przymusinski. Stationary semantics for disjunctive logic programs and deductive databases. In S. Debray and M. Hermenegildo, editors, Proc. of the North American Conf. on Logic Programming, pages 40\u201362, Austin, TX, Oct. 1990."},{"key":"2_CR59","first-page":"459","volume-title":"Proc. of the 7th Intl. Logic Programming Conf.","author":"T. C. Przymusinski","year":"1990","unstructured":"T. C. Przymusinski. Extended stable semantics for normal and disjunctive programs. In Proc. of the 7 th Intl. Logic Programming Conf., pages 459\u2013477, Jerusalem, 1990. MIT Press. Extended Abstract."},{"key":"2_CR60","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-1-4684-3384-5_3","volume-title":"Logic and Data Bases","author":"R. Reiter","year":"1978","unstructured":"R. Reiter. On Closed World Data Bases. In H. Gauaire and J. Minker, editors, Logic and Data Bases, pages 55\u201376. Plenum Press, New York, 1978."},{"key":"2_CR61","volume-title":"Towards a Logical Reconstruction of Relational Database Theory","author":"R. Reiter","year":"1984","unstructured":"R. Reiter. Towards a Logical Reconstruction of Relational Database Theory. Springer-Verlag Pub., New York, 1984."},{"issue":"2","key":"2_CR62","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1145\/5383.5388","volume":"33","author":"R. Reiter","year":"1986","unstructured":"R. Reiter. A sound and sometimes complete query evaluation algorithm for relational databases with null values. J.ACM, 33(2):349\u2013370, Apr. 1986.","journal-title":"J.ACM"},{"key":"2_CR63","unstructured":"R. Reiter. What should a database know? In Proc. of the 7th Intl. Conf. on Logic Programming, page 765, Jerusalem, 1990. Abstract of Invited Talk."},{"key":"2_CR64","doi-asserted-by":"crossref","unstructured":"K. Ross. Well-founded semantics for disjunctive logic programs. In Proc. of the first Intl. Conf. on Deductive and Object Oriented Databases, pages 352\u2013369, Kyoto, Japan, Dec. 1989.","DOI":"10.1016\/B978-0-444-88433-6.50029-0"},{"key":"2_CR65","doi-asserted-by":"crossref","unstructured":"C. Sakama. Possible model semantics for disjunctive databases. In Proc. First Intl. Conf. on Deductive and Object Oriented Databases, pages 337\u2013351, 1989.","DOI":"10.1016\/B978-0-444-88433-6.50028-9"},{"key":"2_CR66","unstructured":"M. Such. Minimal models for closed world databases. In Z.W. Ras, editor, Proc. of ISMIS 4, pages 515\u2013522, 1989."},{"key":"2_CR67","series-title":"Principles of Computer Science Series","volume-title":"Principles of Database and Knowledge-Base Systems I","author":"J. D. Ullman","year":"1988","unstructured":"J. D. Ullman. Principles of Database and Knowledge-Base Systems I. Principles of Computer Science Series. Computer Science Press, Rockville, MD 20850, 1988."},{"key":"2_CR68","series-title":"Principles of Computer Science Series","volume-title":"Principles of Database and Knowledge-Base Systems II","author":"J. D. Ullman","year":"1988","unstructured":"J. D. Ullman. Principles of Database and Knowledge-Base Systems II. Principles of Computer Science Series. Computer Science Press, Rockville, MD 20850, 1988."},{"key":"2_CR69","doi-asserted-by":"crossref","unstructured":"A. Van Gelder. Negation as Failure Using Tight Derivations for General Logic Programs. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 1149\u2013176. Morgan Kaufmann, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50007-5"},{"key":"2_CR70","doi-asserted-by":"crossref","unstructured":"M.Y. Vardi. The complexity of relational query languages. pages 137\u2013146, May 1982.","DOI":"10.1145\/800070.802186"},{"key":"2_CR71","first-page":"162","volume-title":"Null values in data base management: A denotational semantics approach","author":"Y. Vassiliou","year":"1979","unstructured":"Y. Vassiliou. Null values in data base management: A denotational semantics approach. pages 162\u2013169, Boston, MA, 1979. ACM, New York."},{"issue":"4","key":"2_CR72","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden van","year":"1976","unstructured":"M.H. van Emden and R.A. Kowalski. The Semantics of Predicate Logic as a Programming Language. J.ACM, 23(4):733\u2013742, 1976.","journal-title":"J.ACM"},{"key":"2_CR73","doi-asserted-by":"crossref","unstructured":"A. Van Gelder, K. Ross, and J.S. Schlipf. Unfounded Sets and Well-founded Semantics for General Logic Programs. In Proc. 7th Symposium on Principles of Database Systems, pages 221\u2013230, 1988.","DOI":"10.1145\/308386.308444"},{"key":"2_CR74","doi-asserted-by":"crossref","unstructured":"L. Y. Yuan and D.-A. Chiang. A sound and complete query evaluation algorithm for relational databases with disjunctive information. In Proc. of the Eighth Symposium on Principles of Database Systems, pages 66\u201374. ACM Press, Mar. 1989.","DOI":"10.1145\/73721.73727"},{"issue":"2","key":"2_CR75","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF00244994","volume":"1","author":"A. Yahya","year":"1985","unstructured":"A. Yahya and L.J. Henschen. Deduction in Non-Horn Databases. J. Automated Reasoning, 1(2):141\u2013160, 1985.","journal-title":"J. Automated Reasoning"},{"key":"2_CR76","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1016\/0022-0000(84)90080-1","volume":"28","author":"C. Zaniolo","year":"1984","unstructured":"C. Zaniolo. Database relations with null values. J. Comp. Sys, Sci., 28:142\u2013166, 1984.","journal-title":"J. Comp. Sys, Sci."}],"container-title":["Database Theory \u2014 ICDT '92","Lecture Notes in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56039-4_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:02:42Z","timestamp":1605646962000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56039-4_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540560395","9783540473602"],"references-count":76,"URL":"http:\/\/dx.doi.org\/10.1007\/3-540-56039-4_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"published":{"date-parts":[[1992]]}}}