Abstract
Information Source Tracking (IST) method has been developed recently for the modeling and manipulation of uncertain and inaccurate data in relational databases. In this paper we extend the IST method to deductive databases. We show that positive uncertain databases, i.e. IST-based deductive databases with only positive literals in the heads and the bodies of the rules, enjoy a least model/least fixpoint semantics. Query processing in this model is studied next. We extend the top-down and bottom-up evaluation techniques of logic programming and deductive databases to our model. Finally, we study negation for uncertain databases, concentrating on stratified uncertain databases.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have