System and method for obtaining complete and correct answers from incomplete and/or incorrect databases
First Claim
1. A method for determining whether a database that is partially correct will provide a correct answer to a query, comprising:
- determining whether an answer to the query is independent of a deletion update to the database; and
determining that the database will provide a correct answer to the query when the answer to the query is independent of a deletion update to the database.
6 Assignments
0 Petitions
Accused Products
Abstract
A system and method for obtaining complete and correct answers from incomplete and/or partially incorrect databases determine if the answer to a query will be complete by determining whether the answer to the query is independent of an insertion update to the database. If the answer to the query is independent of an insertion update, the system and the method determine that the answer to the query will be complete. In the case of databases that may be incorrect, the system and the method determine if the answer to a given query will be correct by determining if the answer to the query is independent of a deletion update to the database. If the answer to the query is independent of a deletion update, the system and the method determine that the answer to the query will be correct.
-
Citations
9 Claims
-
1. A method for determining whether a database that is partially correct will provide a correct answer to a query, comprising:
-
determining whether an answer to the query is independent of a deletion update to the database; and determining that the database will provide a correct answer to the query when the answer to the query is independent of a deletion update to the database. - View Dependent Claims (2, 3, 4)
-
-
5. A method for determining whether a database that is partially complete will provide a complete answer to a query, comprising:
-
determining whether an answer to the query is independent of an insertion update to the database; and determining that the database will provide a complete answer to the query when the answer to the query is independent of an insertion update to the database. - View Dependent Claims (6, 7)
-
-
8. An information retrieval system for retrieving information from a relational database, comprising:
-
a device that sends a first query to the database; and a completeness/correctness determiner that receives the first query from the device and that determines if an answer to the first query from the database will be complete and correct, the completeness/correctness determiner comprising; a completeness analyzer that determines whether the answer to the first query is independent of an insertion update to the database; a correctness analyzer that determines if the answer to the first query is independent of a deletion update to the database; and a controller that communicates with and controls operations of the completeness analyzer and the correctness analyzer.
-
-
9. A method for determining whether a database whose current state is partially complete will provide a complete answer to a query, comprising:
-
determining a first subset of subgoals of the query, the subgoals of the first subset having a first set of variables that functionally determine distinguished variables of the query, where an answer to the subgoals of the first subset is complete for the current database state; determining a minimal subset of a second set of variables that appear both in the first subset of subgoals and a second subset of subgoals that are not included the first subset, the variables in the minimal subset functionally determining all of the other variables in the second set of variables; determining whether an answer to the second subset of subgoals for the minimal subset of variables is a superset of the answer to the first subset of subgoals for the minimal subset of variables; and determining that the database will provide a complete answer to the query if the answer to the second subset of subgoals is a superset of the answer to the first subset of subgoals.
-
Specification