3 search results - page 1 / 1 » A Clausal Resolution Method for Extended Computation Tree Lo... |
TIME
2003
IEEE
13 years 11 months ago
2003
IEEE
TIME
2005
IEEE
13 years 12 months ago
2005
IEEE
A clausal resolution approach originally developed for the branching logic CTL has recently been extended to the logics ECTL and ECTL+ . In the application of the resolution rules...
FOCS
1998
IEEE
13 years 10 months ago
1998
IEEE
This paper deals with the evaluation of acyclic Boolean conjunctive queries in relational databases. By well-known results of Yannakakis [1981], this problem is solvable in polynom...