{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:48Z","timestamp":1725663528898},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540569213"},{"type":"electronic","value":"9783540477853"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56921-9_10","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:52:42Z","timestamp":1330257162000},"page":"162-175","source":"Crossref","is-referenced-by-count":8,"title":["Deductive databases with conditional facts"],"prefix":"10.1007","author":[{"given":"Rajshekhar","family":"Sunderraman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"issue":"1","key":"10_CR1","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1109\/69.50907","volume":"2","author":"D. Chimenti","year":"1990","unstructured":"D. Chimenti, R. Gamboa, S. Naqvi R. Krishnamurthy, S. Tsur, and C. Zaniola. The ldl system prototype. IEEE Transactions on Knowledge and Data Engineering, 2(1):76\u201390, 1990.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"10_CR2","unstructured":"M. Dalal. Some tractable classes of disjunctive logic programs. Technical Report, Department of Computer Science, Rutgers University, 1992."},{"key":"10_CR3","unstructured":"John Grant and Jack Minker. Answering queries in indefinite databases and the null value problem. In Advances in Computing Research, Volume 3, pages 247\u2013267. JAI Press Inc., 1986."},{"key":"10_CR4","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. Henschen","year":"1988","unstructured":"Lawrence Henschen and Hyuing-Sik Park. Compiling the GCWA in indefinite deductive databases. In Jack Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 395\u2013438. Morgan Kaufmann, Los Altos, CA, 1988."},{"key":"10_CR5","first-page":"389","volume-title":"On representing incomplete information in a relational database","author":"T. Imieli\u0144ski","year":"1981","unstructured":"Tomasz Imieli\u0144ski and Witold Lipski Jr. On representing incomplete information in a relational database. In Proceedings of the 7th International Conference on Very Large Data Bases, Cannes, France, pages 389\u2013397, New York, September 1981. IEEE."},{"key":"10_CR6","unstructured":"Zahidul A. Khandaker, Jose Alberto Fernandez, and Jack Minker. A tractable class of disjunctive deductive databases. In Proceedings of the Joint International Conference and Symposium on Logic Programming, Washington D.C., 1992."},{"key":"10_CR7","volume-title":"An algebraic approach to indefinite deductive databases","author":"K. Liu","year":"1990","unstructured":"Ken-Chih Liu and Rajshekhar Sunderraman. An algebraic approach to indefinite deductive databases. In Proceedings of the 5th International Symposium on Methodologies for Intelligent Systems, Knoxville, Tennessee, New York, October 1990. Elsevier Press."},{"issue":"1","key":"10_CR8","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1109\/69.75890","volume":"3","author":"K. Liu","year":"1991","unstructured":"Ken-Chih Liu and Rajshekhar Sunderraman. A generalized relational model for indefinite and maybe information. IEEE Transactions on Knowledge and Data Engineering, 3(1):65\u201377, 1991.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"10_CR9","unstructured":"Jorge Lobo, C. Yu, and G. Wang. Computing the transitive closure in disjunctive databases. Technical Report, University of Illinois at Chicago, Department of Electrical Engineering and Computer Science, 1992."},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Jack Minker. On indefinite databases and the closed world assumption. In Lecture Notes in Computer Science, N138, pages 292\u2013308. Springer-Verlag, 1982.","DOI":"10.1007\/BFb0000066"},{"key":"10_CR11","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0743-1066(90)90033-2","volume":"9","author":"J. Minker","year":"1990","unstructured":"Jack Minker and Arcot Rajasekar. A fixpoint semantics for disjunctive logic programs. Journal of Logic Programming, 9:45\u201374, 1990.","journal-title":"Journal of Logic Programming"},{"key":"10_CR12","first-page":"554","volume-title":"Design overview of the NAIL! system","author":"K. Morris","year":"1986","unstructured":"K. Morris, J.D. Ullman, and A. Van Gelder. Design overview of the NAIL! system. In E. Shapiro, editor, Proceedings of the Third International Conference on Logic Programming, pages 554\u2013568. Springer-Verlag, New York, 1986."},{"key":"10_CR13","unstructured":"Inderpal S. Mumick, Hamid Pirahesh, and Raghu Ramakrishnan. Duplicates and aggregates in deductive databases. In Proceedings of the 16th VLDB Conference, 1990."},{"key":"10_CR14","volume-title":"A Logic Language for Data and Knowledge Bases","author":"S. Naqvi","year":"1988","unstructured":"Shamim Naqvi and Shalom Tsur. A Logic Language for Data and Knowledge Bases. Computer Science Press, Rockville, MD, 1988."},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Geoffrey Phipps, Marcia A. Derr, and Kenneth A. Ross. Glue-nail!: A deductive database system. In Proceedings of the ACM SIGMOD Conference on Management of Data, 1991.","DOI":"10.1145\/115790.115840"},{"key":"10_CR16","unstructured":"Raghu Ramakrishnan, Divesh Srivastava, and S. Sudarshan. Coral \u2014 control, relations and logic. In Proceedings of the 18th VLDB Conference, Vancouver, British Columbia, Canada, 1992."},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Rajshekhar Sunderraman. Deductive databases with conditional facts. Manuscript, 1992.","DOI":"10.1007\/3-540-56921-9_10"},{"key":"10_CR18","volume-title":"Principles of Database and Knowledge-Base Systems, volume I and II","author":"Jeffrey D. D. Ullman","year":"1988","unstructured":"Jeffrey D. Ullman. Principles of Database and Knowledge-Base Systems, volume I and II. Computer Science Press, Rockville, Maryland, 1988."},{"key":"10_CR19","volume-title":"Available as TR-CS-90-14","author":"J. Vaghani","year":"1990","unstructured":"Jayen Vaghani, Kotagiri Ramamohanarao, David Kemp, Zoltan Somogyi, and Peter Stuckey. The Aditi deductive database system. In Proceedings of the NACLP'90 Workshop on Deductive Database Systems, Available as TR-CS-90-14, Dept. of Computing and Information Sciences, Kansas State University, Manhattan, Kansas, 1990."},{"key":"10_CR20","unstructured":"L. Vielle, P. Bayer, V. Kuchenhoff, and A. Lefebvre. Eks-vl, a short overview. In Proceedings of the AAAI Workshop on Knowledge Base Management Systems, 1990."}],"container-title":["Lecture Notes in Computer Science","Advances in Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56921-9_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:07:03Z","timestamp":1605647223000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56921-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540569213","9783540477853"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-56921-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}