Providing explanations for database schema validation
We propose a new method for database schema validation that provides an explanation
when it determines that a certain desirable property of a database schema does not hold.
Explanations are required to give the designer a hint about the changes of the schema that
are needed to fix the problem identified. Our method is an extension of the CQC method,
which has been shown successful for testing such properties.
when it determines that a certain desirable property of a database schema does not hold.
Explanations are required to give the designer a hint about the changes of the schema that
are needed to fix the problem identified. Our method is an extension of the CQC method,
which has been shown successful for testing such properties.
Providing explanations for database schema validation
G Rull Fort, C Farré Tost, E Teniente López… - 2008 - upcommons.upc.edu
We propose a new method for database schema validation that provides an explanation
when it determines that a certain desirable property of a database schema does not hold.
Explanations are required to give the designer a hint about the changes of the schema that
are needed to fix the problem identified. Our method is an extension of the CQC method,
which has been shown successful for testing such properties, and its contribution is twofold:
Firstly, it is the first method that offers an explanation when the schema is not adequately …
when it determines that a certain desirable property of a database schema does not hold.
Explanations are required to give the designer a hint about the changes of the schema that
are needed to fix the problem identified. Our method is an extension of the CQC method,
which has been shown successful for testing such properties, and its contribution is twofold:
Firstly, it is the first method that offers an explanation when the schema is not adequately …
以上显示的是最相近的搜索结果。 查看全部搜索结果