Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
A closed-form evaluation for Datalog queries with integer (gap)-order constraintsRevesz, Peter Z.Theoretical computer science, 1993-08, Vol.116 (1), p.117-149 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
Safe Datalog Queries with Linear ConstraintsRevesz, Peter Z. Puget, Jean-Francois ; Maher, MichaelLecture notes in computer science, 1998, p.355-369 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality ConstraintsRevesz, Peter Demetrovics, János ; Gottlob, Georg ; Benczúr, AndrásAdvances in Databases and Information Systems, 2004, p.1-21 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
Constraint Database Solutions to the Genome Map Assembly ProblemRamanathan, Viswanathan ; Revesz, Peter Kuijpers, Bart ; Revesz, PeterConstraint Databases, 2004, p.88-111 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Applying Constraint Databases in the determination of potential minimal conflicts to polynomial model-based DiagnosisGOMEZ LOPEZ, Maria Teresa ; CEBALLOS GUERRERO, Rafael ; MARTINEZ GASCA, Rafael ; DEL VALLE SEVILLA, CarmeloLecture notes in computer science, 2004, p.74-87 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Integrating constraint and relational database systemsMENGCHU CAILecture notes in computer science, 2004, p.173-180 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
Constraint Databases, Data Structures and Efficient Query EvaluationHeintz, Joos ; Kuijpers, Bart Kuijpers, Bart ; Revesz, PeterConstraint Databases, 2004, p.1-24 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
A New Shape Function Based Spatiotemporal Interpolation MethodLi, Lixin ; Li, Youming ; Piltner, Reinhard Kuijpers, Bart ; Revesz, PeterConstraint Databases, 2004, p.25-39 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
Semantic Optimization of Preference QueriesChomicki, Jan Kuijpers, Bart ; Revesz, PeterConstraint Databases, 2004, p.128-142 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
Constraint Processing Techniques for Improving Join Computation: A Proof of ConceptLal, Anagh ; Choueiry, Berthe Y. Kuijpers, Bart ; Revesz, PeterConstraint Databases, 2004, p.143-160 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |