Publications of Anna Formica

This page shows all publications that appeared in the IASI annual research reports. Authors currently affiliated with the Institute are always listed with the full name.

You can browse through them using either the links of the following line or those associated with author names.

Show all publications of the year  ALL, with author Formica A., in the category IASI Research Reports (or show them all):


IASI Research Report n. 538  (Previous    Next)  

Anna Formica

Finite satisfiability of object-oriented database integrity constraints with inequality and null-values

ABSTRACT
In this paper, a method for checking finite satisfiability of a specific class of database integrity constraints is presented. In particular, this work starts from a previous result of the author concerning a decidable, sound, and complete method for checking finite satisfiability of θ-constraints. θ-constraints are a sort of path constraints, where θ stands for one of the comparison operators >, ≥, <, ≤, =. In this paper such a method is extended to deal with a more expressive constraint language including the inequality operator and null-values. The proposed extension is formally characterized by providing the necessary and sufficient conditions that allow finite satisfiability of this wider class of integrity constraints to be checked.
back
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -