Counterfactual Exceptions in Deductive Database Queries

c 1996 T. Andreasen and H. Christiansen ECAI 96. Edited by W. Wahlster Published in 1996 by John Wiley & Sons, Ltd. This paper suggests a new construct to capture negative hypothesis in database query languages. Counterfactual exceptions, as the construct is called, are specialized constraints in queries, that serve as means to suppress part of the database. The expressibility obtained is closely related to what is captured by possible world counterfactuals, but the semantic characterization becomes simpler and an implementation can be obtained in a straightforward way. The logical semantics is described in terms of model and completion constructions. An inference system is obtained by a modification of . Also a generalization into a language with hypothetical implication goals and positive as well as negative hypotheses is suggested.