4397 search results - page 218 / 880 » Relational Algebra Operations |
253
Voted
ISQED
2002
IEEE
15 years 8 months ago
2002
IEEE
State-of-the-art verification tools are based on efficient operations on Boolean formulas. Traditional manipulation techniques are based on Binary Decision Diagrams (BDDs) and SAT...
133
Voted
VLDB
1994
ACM
15 years 7 months ago
1994
ACM
Many relational and object-oriented database systems provide referential integrity and compound operations on related objects using relationship mechanisms. Distributed object sys...
121
Voted
VLDB
1992
ACM
15 years 7 months ago
1992
ACM
For the conventional relational model there has been considerable research in the area of incomplete information. On the other hand, research in temporal databases has concentrated...
103
Voted
IASTEDSEA
2004
15 years 5 months ago
2004
The problem this paper addresses is that an architecture formed of software components can contain composition errors (introduced, for instance, as a result of the choice of afram...
128
Voted
ENTCS
2010
15 years 3 months ago
2010
The validity/satisfiability problem for most propositional interval temporal logics is (highly) undecidable, under very weak assumptions on the class of interval structures in whi...