5482 search results - page 124 / 1097 » Logic Programming and Databases |
124
Voted
ICDT
1997
ACM
15 years 9 months ago
1997
ACM
We consider spatial databases and queries definable using first-order logic and real polynomial inequalities. We are interested in topological queries: queries whose result only ...
115
Voted
SIGMOD
2003
ACM
16 years 5 months ago
2003
ACM
: There has been an abundance of research within the last couple of decades in the area of multilevel secure (MLS) databases. Recent work in this field deals with the processing of...
143
Voted
CL
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We consider the problem of specifying and computing consistent answers to queries against databases that do not satisfy given integrity constraints. This is done by simul...
154
click to vote
AI
1999
Springer
15 years 4 months ago
1999
Springer
Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large c...
165
click to vote
ADC
2008
Springer
15 years 11 months ago
2008
Springer
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...