Guaranteeing integrity constraints during interactive map editing with visual language parsing.

Vincenzo Del Fatto Vincenzo Deufemia Luca Paolino

Published in: ICDIM (2007)

Keyphrases

integrity constraints
integrity checking
deductive databases
database schema
constraint checking
functional dependencies
database integrity
query answering
conjunctive queries
schema integration
inclusion dependencies
database transactions
natural language
active rules
correctness criterion
logic rules