A two-step approach for pattern-based API-call constraint checking.

Dongwoo Kim Yunja Choi

Published in: Sci. Comput. Program. (2018)

Keyphrases

constraint checking
integrity constraints
deductive databases
distributed databases
high level
database systems
general purpose
artificial intelligence
relational databases
distributed systems
query optimization