Integrity Constraints for Microcontroller Programming in Datalog.

Stefan Brass Mario Wenzel

Published in: ADBIS (2021)

Keyphrases

integrity constraints
deductive databases
query answering
programming language
integrity checking
functional dependencies
database schema
constraint checking
schema integration
database integrity
xml documents
inclusion dependencies
database transactions
logic programming
expressive power
answer set programming