Adapting Integrity Checking Techniques for Concurrent Operation Executions.

Xavier Oriol Ernest Teniente

Published in: SAM (2019)

Keyphrases

integrity checking
integrity constraints
concurrent transactions
write operations
deductive databases
hard and soft constraints
constraint logic programming
semantic query optimization
database
lower bound
special case
general purpose
linear programming
logic programming
answer set programming