1008 search results - page 5 / 202 » Logic and Databases |
PODS
2008
ACM
14 years 7 months ago
2008
ACM
A survey of effective characterizations of tree logics. If L is a logic, then an effective characterization for L is an algorithm, which inputs a tree automaton and replies if the...
DEXA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Database integrity constraints, understood as logical conditions that must hold for any database state, are not fully supported by current database technology. It is typi...
TIME
2009
IEEE
14 years 2 months ago
2009
IEEE
ADC
2006
Springer
14 years 1 months ago
2006
Springer
We extend Fagin’s result on the equivalence between functional dependencies in relational databases and propositional Horn clauses. It is shown that this equivalence still holds...
DAGSTUHL
2003
13 years 9 months ago
2003
In this chapter, we summarize the research on querying inconsistent databases we have been conducting over the last five years. The formal framework we have used is based on two c...