AMAI
2006
Springer
13 years 4 months ago
2006
Springer
We introduce a simple and practical method for repairing inconsistent databases. Given a possibly inconsistent database, the idea is to properly represent the underlying problem, i...
AMAI
2006
Springer
13 years 4 months ago
2006
Springer
We expand the applicability of the clausal resolution technique to the branching-time temporal logic ECTL
AMAI
2006
Springer
13 years 4 months ago
2006
Springer
Most real-world database applications manage temporal data, i.e., data with associated time references that capture a temporal aspect of the data, typically either when the data i...