1008 search results - page 117 / 202 » Logic and Databases |
133
Voted
DKE
2007
15 years 2 months ago
2007
XPath is the standard language for addressing parts of an XML document. We present a sound and complete decision procedure for containment of XPath queries. The considered XPath f...
111
Voted
EUSFLAT
2009
15 years 13 days ago
2009
The Spanish National Agency for Quality Assessment and Accreditation as part of its evaluation activities has established a procedure for evaluating both teaching and institutions,...
141
Voted
EUSFLAT
2009
15 years 13 days ago
2009
Fuzzy probabilities have been widely used in the areas of risk assessment and decision making. Here, we propose a system based on fuzzy probabilities for assessing the intensity of...
112
Voted
GIS
1999
ACM
15 years 7 months ago
1999
ACM
Nowadays, many applications need data modeling facilities for the description of complex objects with spatial and/or temporal facilities. Responses to such requirements may be fou...
108
Voted
PODS
1999
ACM
15 years 7 months ago
1999
ACM
We give a polymorphic account of the relational algebra. We introduce a formalism of \type formulas" speci cally tuned for relational algebra expressions, and present an algo...