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
|
Parametric rectangles : A model for querying and animation of spatiotemporal databasesMENGCHU CAI ; KESHWANI, D ; REVESZ, P. ZLecture notes in computer science, 2000, p.430-444 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
|
6 |
Material Type: Capítulo de Livro
|
Approximating Data in Constraint DatabasesChen, Rui ; Ouyang, Min ; Revesz, Peter Z. Walsh, Toby ; Choueiry, Berthe Y.Abstraction, Reformulation, and Approximation, 2000, p.124-143 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
Animating Spatiotemporal Constraint DatabasesChomicki, Jan ; Liu, Yuguo ; Revesz, Peter Jensen, Christian S. ; Böhlen, Michael H. ; Scholl, Michel O.Lecture notes in computer science, 1999, p.224-240 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
8 |
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 |
|
9 |
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 |
|
10 |
Material Type: Ata de Congresso
|
Cnstraint query languagesKANELLAKIS, P. C ; KUPER, G. M ; REVESZ, P. ZJournal of computer and system sciences (Print), 1995, Vol.51 (1), p.26-52 [Periódico revisado por pares]Brugge: Academic PressTexto completo disponível |