skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A closed-form evaluation for Datalog queries with integer (gap)-order constraints
Material Type:
Artigo
Adicionar ao Meu Espaço

A closed-form evaluation for Datalog queries with integer (gap)-order constraints

Revesz, Peter Z.

Theoretical computer science, 1993-08, Vol.116 (1), p.117-149 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

2
Safe Datalog Queries with Linear Constraints
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Safe Datalog Queries with Linear Constraints

Revesz, Peter Z.

Lecture notes in computer science, 1998, p.355-369 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

3
Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints

Revesz, Peter

Advances in Databases and Information Systems, 2004, p.1-21 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

4
Constraint Database Solutions to the Genome Map Assembly Problem
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Constraint Database Solutions to the Genome Map Assembly Problem

Ramanathan, Viswanathan ; Revesz, Peter

Constraint Databases, 2004, p.88-111 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

5
Constraint Databases, Data Structures and Efficient Query Evaluation
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Constraint Databases, Data Structures and Efficient Query Evaluation

Heintz, Joos ; Kuijpers, Bart

Constraint Databases, 2004, p.1-24 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

6
A New Shape Function Based Spatiotemporal Interpolation Method
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

A New Shape Function Based Spatiotemporal Interpolation Method

Li, Lixin ; Li, Youming ; Piltner, Reinhard

Constraint Databases, 2004, p.25-39 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

7
Moving Objects and Their Equations of Motion
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Moving Objects and Their Equations of Motion

Geerts, Floris

Constraint Databases, 2004, p.40-51 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

8
Constraint Processing Techniques for Improving Join Computation: A Proof of Concept
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Constraint Processing Techniques for Improving Join Computation: A Proof of Concept

Lal, Anagh ; Choueiry, Berthe Y.

Constraint Databases, 2004, p.143-160 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

9
Taking Constraints out of Constraint Databases
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Taking Constraints out of Constraint Databases

Goldin, Dina Q.

Constraint Databases, 2004, p.161-172 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

10
Applying Constraint Databases in the determination of potential minimal conflicts to polynomial model-based Diagnosis
Material Type:
Artigo
Adicionar ao Meu Espaço

Applying Constraint Databases in the determination of potential minimal conflicts to polynomial model-based Diagnosis

GOMEZ LOPEZ, Maria Teresa ; CEBALLOS GUERRERO, Rafael ; MARTINEZ GASCA, Rafael ; DEL VALLE SEVILLA, Carmelo

Lecture notes in computer science, 2004, p.74-87 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Buscando em bases de dados remotas. Favor aguardar.