Events

The project is to design a parser and semantic checker for quantified deductive databases. The language used is Datalog, a query and rule-based language for deductive databases. Here the designed parser and semantic checker are for an extended Datalog language that handles quantified deductive databases, which incorporate universally quantified expressions in the bodies of rules. As the universally quantified expressions contain negations in their semantics the extended Datalog also falls under the category of deductive databases with negations.