Derived types and taxonomic constraints in conceptual modeling
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Taxonomies and Derivation Rules in Conceptual Modeling
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Translating advanced integrity checking technology to SQL
Database integrity
On the abductive or deductive nature of database schema validation and update processing problems
Theory and Practice of Logic Programming
Checking query containment with the CQC method
Data & Knowledge Engineering
SVT: schema validation tool for microsoft SQL-server
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Computing explanations for unlively queries in databases
Proceedings of the sixteenth ACM conference on Conference on information and knowledge management
SVTe: a tool to validate database schemas giving explanations
Proceedings of the 1st international workshop on Testing database systems
Validation of mappings between schemas
Data & Knowledge Engineering
Hi-index | 0.00 |