LogicFence: A Framework for Enforcing Global Integrity Constraints at Runtime.

Shibashis Guha Srinath Srinivasa Saikat Mukherjee Ranajoy Malakar

Published in: IDEAS (2006)

Keyphrases

integrity constraints
functional dependencies
deductive databases
query answering
integrity checking
conjunctive queries
logic programming
inclusion dependencies
federated databases
database transactions