{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:47Z","timestamp":1725663107206},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540501718"},{"type":"electronic","value":"9783540459439"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/3-540-50171-1_18","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:16:30Z","timestamp":1330182990000},"page":"281-291","source":"Crossref","is-referenced-by-count":0,"title":["On domain independent disjunctive databases"],"prefix":"10.1007","author":[{"given":"E. A.","family":"Sonenberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. W.","family":"Topor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"18_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":"Apt, K. R., H. A. Blair and A. Walker, \u201cTowards a Theory of Declarative Knowledge\u201d, in Foundations of Deductive Databases and Logic Programming, Minker, J. (ed.), Morgan Kaufmann, Los Altos, Ca., 1988, 89\u2013148."},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Bidoit, N. and R. Hull, \u201cPositivism vs. Minimalism in Deductive Databases\u201d, Proc. Fifth ACM Symp. on Principles of Database Systems, Cambridge, Mass., 1986, 123\u2013132.","DOI":"10.1145\/6012.15409"},{"issue":"2","key":"18_CR3","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1145\/321510.321524","volume":"16","author":"R. A. Paola Di","year":"1969","unstructured":"Di Paola, R. A., \u201cThe Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas\u201d, J. ACM\n16, 2 (1969), 324\u2013327.","journal-title":"J. ACM"},{"issue":"4","key":"18_CR4","doi-asserted-by":"crossref","first-page":"952","DOI":"10.1145\/322344.322347","volume":"29","author":"R. Fagin","year":"1982","unstructured":"Fagin, R., \u201cHorn Clauses and Database Dependencies\u201d, J. ACM\n29, 4 (1982), 952\u2013985.","journal-title":"J. ACM"},{"key":"18_CR5","unstructured":"Grant, J. and J. Minker, \u201cAnswering Queries in Indefinite Databases and the Null Value Problem\u201d, in Advances in Computing Research, Vol. 3, JAI Press, 1986, 247\u2013267."},{"key":"18_CR6","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":"Henschen, L. J. and H.-S. Park, \u201cCompiling the GCWA in Indefinite Deductive Databases\u201d, in Foundations of Deductive Databases and Logic Programming, Minker, J. (ed.), Morgan Kaufmann, Los Altos, Ca., 1988, 395\u2013438."},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Kifer, M., \u201cOn Safety, Domain Independence, and Capturability of Database Queries\u201d, Proc. 3rd Int. Conf. on Data and Knowledge Bases, Jerusalem, 1988.","DOI":"10.1016\/B978-1-4832-1313-2.50037-8"},{"key":"18_CR8","volume-title":"Answering Questions by Computer: A Logical Study","author":"J. L. Kuhns","year":"1967","unstructured":"Kuhns, J. L., \u201cAnswering Questions by Computer: A Logical Study\u201d, RM-5428-PR, Rand Corp., Santa Monica, Ca., 1967."},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Minker, J., \u201cOn Indefinite Databases and the Closed World Assumption\u201d, in 6th Conf. on Automated Deduction, Loveland, D. W. (ed.), Lecture Notes in Computer Science 138, Springer-Verlag, 1982, 292\u2013308.","DOI":"10.1007\/BFb0000066"},{"key":"18_CR10","unstructured":"Nicolas, J.-M. and R. Demolombe, \u201cOn the Stability of Relational Queries\u201d, Research Report, ONERA-CERT, Toulouse, 1983."},{"key":"18_CR11","unstructured":"Przymusinski, T. C., \u201cAn Algorithm to Compute Circumscription\u201d, manuscript, Department of Mathematical Sciences, University of Texas, El Paso, 1986. To appear in Artificial Intelligence."},{"key":"18_CR12","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","author":"T. C. Przymusinski","year":"1988","unstructured":"Przymusinski, T. C., \u201cOn the Declarative Semantics of Deductive Databases and Logic Programs\u201d, in Foundations of Deductive Databases and Logic Programming, Minker, J. (ed.), Morgan Kaufmann, Los Altos, Ca., 1988, 193\u2013216."},{"key":"18_CR13","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":"Reiter, R., \u201cOn Closed World Data Bases\u201d, in Logic and Data Bases, Gallaire, H. and J. Minker (eds), Plenum Press, New York, 1978, 55\u201376."},{"key":"18_CR14","unstructured":"Ross, K. A. and R. W. Topor, \u201cInferring Negative Information from Disjunctive Databases\u201d, Technical Report 87\/1, Department of Computer Science, University of Melbourne, 1987. To appear in J. Automated Reasoning."},{"issue":"3","key":"18_CR15","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/0304-3975(87)90113-7","volume":"52","author":"R. W. Topor","year":"1987","unstructured":"Topor, R. W., \u201cDomain Independent Formulas and Databases\u201d, Theoretical Computer Science\n52, 3 (1987), 281\u2013307.","journal-title":"Theoretical Computer Science"},{"key":"18_CR16","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/B978-0-934613-40-8.50010-5","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"R. W. Topor","year":"1988","unstructured":"Topor, R. W. and E. A. Sonenberg, \u201cOn Domain Independent Databases\u201d, in Foundations of Deductive Databases and Logic Programming, Minker, J. (ed.), Morgan Kaufmann, Los Altos, Ca., 1988, 217\u2013240."},{"issue":"5","key":"18_CR17","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0020-0190(81)90025-9","volume":"12","author":"M. Y. Vardi","year":"1981","unstructured":"Vardi, M. Y., \u201cThe Decision Problem for Database Dependencies\u201d, Inf. Proc. Letters\n12, 5 (1981), 251\u2013254.","journal-title":"Inf. Proc. Letters"}],"container-title":["Lecture Notes in Computer Science","ICDT '88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50171-1_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:54:17Z","timestamp":1619556857000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50171-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540501718","9783540459439"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-50171-1_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}