Loading...
Loading...

Go to the content (press return)

A new approach for checking schema validation properties

Author
Farré, C.; Teniente, E.; Urpi, T.
Type of activity
Presentation of work at congresses
Name of edition
15th International Conference on Database and Expert Systems Applications
Date of publication
2004
Presentation's date
2009
Book of congress proceedings
Database and Expert Systems Applications: 15th International Conference, DEXA 2004: Zaragoza, Spain,August 30-September 3, 2004: proceedings
First page
77
Last page
86
DOI
https://doi.org/10.1007/978-3-540-30075-5_8 Open in new window
URL
https://rd.springer.com/chapter/10.1007/978-3-540-30075-5_8 Open in new window
Abstract
We propose a new approach to check wh ether a given database schema satisfies a set of desirable properties such as liveliness of a predicate, redundancy of integrity constraint specifications, schema satisfiability or reachability of partially specified states. Our approach is based on defining each schema validation property in terms of a constraint-satisfiability checking problem. Then, we propose to use the CQC Method (which was originally proposed for query containment checking) to verify w...
Group of research
GESSI - Group of Software and Service Engineering
IMP - Information Modelling and Processing
inLab FIB

Participants