179 search results - page 1 / 36 » Fixed-Point Query Languages for Linear Constraint Databases |
PODS
2000
ACM
13 years 9 months ago
2000
ACM
Ï ÒØÖÓ Ù
Ñ ÐÝ Ó ÕÙ ÖÝ Ð Ò Ù × ÓÖ Ð Ò Ö
ÓÒ¹ ×ØÖ ÒØ Ø × × ÓÚ Ö Ø Ö Ð׺ Ì Ð Ò Ù × Ö ¬Ò ÓÚ Ö ØÛÓ¹×ÓÖØ ×ØÖÙ
ØÙÖ ×...
SAS
1994
Springer
13 years 8 months ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
ICDE
2008
IEEE
14 years 5 months ago
2008
IEEE
ct The backbone of the XML data model, namely ordered, unranked trees, is inherently recursive and it is natural to equip the associated languages with constructs that can query su...
FLOPS
2008
Springer
13 years 6 months ago
2008
Springer
In this paper, we present an extension of the scheme HH(C) (Hereditary Harrop formulas with Constraints) with a suitable formulation of negation in order to obtain a constraint ded...
CSL
2009
Springer
13 years 8 months ago
2009
Springer
My talk will be a survey of recent results about the quest for a logic capturing polynomial time. In a fundamental study of database query languages, Chandra and Harel [4] first ra...