{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T16:59:16Z","timestamp":1759683556407},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"2-4","license":[{"start":{"date-parts":[[1991,6,1]],"date-time":"1991-06-01T00:00:00Z","timestamp":675734400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1991,6]]},"DOI":"10.1007\/bf01530927","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T00:14:30Z","timestamp":1113869670000},"page":"259-293","source":"Crossref","is-referenced-by-count":13,"title":["Incomplete deductive databases"],"prefix":"10.1007","volume":"3","author":[{"given":"Tomasz","family":"Imielinski","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"S. Abiteboul, K. Kannellakis and G. Grahne, On the representation and querying of sets of possible worlds, in:Proc. ACM SIGMOD 87 (1987).","DOI":"10.1145\/38713.38724"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"K. Apt and M. Van Emden, Contributions to the theory of logic programming, J. ACM 29 (1982).","DOI":"10.1145\/322326.322339"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"F. Bancihlon and R. Ramakrishnan, An amateur introduction to recursive queries, in:Proc. ACM SIGMOD (1986).","DOI":"10.1145\/16894.16859"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"C. Beeri and M. Vardi, A proof procedure for data dependencies, J. ACM (October 1984).","DOI":"10.1145\/1634.1636"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"M.A. Casanova, R. Fagin and C.H. Papadimitriou, Inclusion dependencies and their interaction with functional dependencies, J. Comp. Syst. Sci. (1984).","DOI":"10.1016\/0022-0000(84)90075-8"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"E.F. Codd","year":"1970","unstructured":"E.F. Codd, A relational model of data for large shared data banks, CACM 13 (1970) 377?387.","journal-title":"CACM"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"H. Gallaire, J. Minker and J. Nicholas, Logic and databases ? A deductive approach, ACM Comp. Surveys (1984) 153?185.","DOI":"10.1145\/356924.356929"},{"key":"CR8","unstructured":"M.R. Garey and D.S. Johnson,Computers and Intractability: A Guide to the Theory of NP-Completeness (W.H. Freeman, 1979)."},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Y. Gurewich and H. Lewis, The inference problem for template dependencies, in:ACM PODS Symp. (1982).","DOI":"10.1145\/588111.588148"},{"key":"CR10","volume-title":"An Introduction to the Theory of Numbers","author":"Hardy","year":"1938","unstructured":"Hardy and Wright,An Introduction to the Theory of Numbers (Clarendon, Oxford, 1938)."},{"key":"CR11","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 (1984) 761?791.","journal-title":"J. ACM"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"T. Imielinski, Query processing in deductive databases with incomplete information, in:ACM SIGMOD Conf. (May, 1986).","DOI":"10.1145\/16894.16881"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"T. Imielinski and K. Vadaparty, Complexity of query processing in databases with OR-objects, in:Proc. ACM Symp. on Principles of Database Systems (1989).","DOI":"10.1145\/73721.73726"},{"key":"CR14","unstructured":"R. Kowalski,Logic for Problem Solving (1979)."},{"key":"CR15","unstructured":"H. Levesque, Computer and Thought lecture at IJCAI 85 (1985)."},{"key":"CR16","unstructured":"D. Doveland,Automated Theorem Proving (Springer, 1979)."},{"key":"CR17","unstructured":"J. Minker, Generalized Closed World Assumption, in:Conf. on Automated Deduction (1982)."},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"R. Reiter, On closed world databases, in:Logic and Databases (Plenum, 1978).","DOI":"10.1007\/978-1-4684-3384-5_3"},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"R. Reiter, A sound and sometimes complete query evaluation algorithm for relational databases with null values, J. ACM (1985).","DOI":"10.1145\/5383.5388"},{"key":"CR20","unstructured":"J. Ullman,Principles of Database Systems (Computer Science Press, 1982)."},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"M. Vardi, The complexity of relational query languages, in:Proc. IEEE Conf. on Foundations of Computer Science (1982).","DOI":"10.1145\/800070.802186"},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"M. Vardi, The implication and finite implication problems for typed template dependencies, in:ACM PODS Symp. (1982).","DOI":"10.1145\/588111.588149"},{"key":"CR23","doi-asserted-by":"crossref","unstructured":"M. Vardi, Querying logical databases, J. Comp. Syst. Sci. 33 (1986).","DOI":"10.1016\/0022-0000(86)90016-4"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530927\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530927.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530927\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530927","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T23:59:58Z","timestamp":1586217598000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01530927"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,6]]},"references-count":23,"journal-issue":{"issue":"2-4","published-print":{"date-parts":[[1991,6]]}},"alternative-id":["BF01530927"],"URL":"https:\/\/doi.org\/10.1007\/bf01530927","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,6]]}}}