Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Constraint Databases and Applications [electronic resource] : ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September, 8 - 9, 1995. Proceedings / by Gabriel Kuper, Mark Wallace
| Constraint Databases and Applications [electronic resource] : ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September, 8 - 9, 1995. Proceedings / by Gabriel Kuper, Mark Wallace |
| Creatore | [Kuper, Gabriel] |
| Accesso persona | Wallace, Mark |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Database Management Geographical Information Systems/Cartography Information Storage and Retrieval Programming Languages, Compilers, Interpreters Programming Techniques |
| ISBN | 9783540607946 |
| Formato | Software  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7355445 |
[Kuper, Gabriel]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
On the expressive power of infinite temporal databases / by Gabriel M. Kuper, Alex Tuzhilin
| On the expressive power of infinite temporal databases / by Gabriel M. Kuper, Alex Tuzhilin |
| Creatore | [Kuper, Gabriel M.] |
| Estensione | 18 p. ; 28 cm. |
| Accesso persona | Tuzhilin, Alex |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | NYU-002064142 |
|
[Kuper, Gabriel M.]
|
|
| Materiale a stampa | |
| Lo trovi qui: New York University | |
Constraint Databases [electronic resource] / edited by Gabriel Kuper, Leonid Libkin, Jan Paredaens
| Constraint Databases [electronic resource] / edited by Gabriel Kuper, Leonid Libkin, Jan Paredaens |
| Creatore | [Kuper, Gabriel] |
| Estensione | 1 online resource (xvii, 428 pages) |
| Disciplina | 005.74 |
| Accesso persona |
Libkin, Leonid
Paredaens, Jan. |
| Genere/Forma | Electronic books |
| ISBN |
9783662040317
366204031X 9783642085420 3642085423 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction -- 2. Constraint Databases, Queries, and Query Languages -- 3. Expressive Power: The Finite Case -- 4. Expressive Power: The Infinite Case -- 5. Query Safety with Constraints -- 6. Aggregate Languages for Constraint Databases -- 7. Datalog and Constraints -- 8. Geographic Information Systems -- 9. Linear-Constraint Databases -- 10. Topological Queries -- 11. Euclidean Query Languages -- 12. Genericity in Spatial Databases -- 13. Linear Repeating Points -- 14. Optimization Techniques -- 15. Constraint Algebras -- 16. I/O-Efficient Algorithms for CDBs -- 17. The DEDALE Prototype -- 18. The DISCO System -- 19. SQL/TP: A Temporal Extension of SQL. |
| Record Nr. | NYU-004403184 |
|
[Kuper, Gabriel]
|
|
| Materiale a stampa | |
| Lo trovi qui: New York University | |
Constraint Databases / edited by Gabriel Kuper, Leonid Libkin, Jan Paredaens
| Constraint Databases / edited by Gabriel Kuper, Leonid Libkin, Jan Paredaens |
| Creatore | [Kuper, Gabriel] |
| Estensione | 1 online resource (xvii, 428 pages) |
| Disciplina | 005.74 |
| Accesso persona |
Libkin, Leonid
Paredaens, Jan. |
| ISBN |
9783662040317
366204031X 9783642085420 3642085423 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UALBERTA-7996009 |
|
[Kuper, Gabriel]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Alberta / NEOS Library Consortium | |
Constraint Databases / edited by Gabriel Kuper, Leonid Libkin, Jan Paredaens
| Constraint Databases / edited by Gabriel Kuper, Leonid Libkin, Jan Paredaens |
| Creatore | [Kuper, Gabriel] |
| Estensione | 1 online resource (xvii, 428 pages) |
| Disciplina | 005.74 |
| Accesso persona |
Libkin, Leonid
Paredaens, Jan. |
| Genere/Forma | Electronic books |
| ISBN |
9783662040317
366204031X 9783642085420 3642085423 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction -- 2. Constraint Databases, Queries, and Query Languages -- 3. Expressive Power: The Finite Case -- 4. Expressive Power: The Infinite Case -- 5. Query Safety with Constraints -- 6. Aggregate Languages for Constraint Databases -- 7. Datalog and Constraints -- 8. Geographic Information Systems -- 9. Linear-Constraint Databases -- 10. Topological Queries -- 11. Euclidean Query Languages -- 12. Genericity in Spatial Databases -- 13. Linear Repeating Points -- 14. Optimization Techniques -- 15. Constraint Algebras -- 16. I/O-Efficient Algorithms for CDBs -- 17. The DEDALE Prototype -- 18. The DISCO System -- 19. SQL/TP: A Temporal Extension of SQL. |
| Record Nr. | NYU-004639557 |
|
[Kuper, Gabriel]
|
|
| Materiale a stampa | |
| Lo trovi qui: New York University | |
Constraint Databases and Application : ESPRIT WG CONTESSA Workshop Friedrichshafen, Germany, September 8#9, 1995 Proceedings / edited by Gabriel Kuper, Mark Wallace
| Constraint Databases and Application : ESPRIT WG CONTESSA Workshop Friedrichshafen, Germany, September 8#9, 1995 Proceedings / edited by Gabriel Kuper, Mark Wallace |
| Creatore | [Kuper, Gabriel] |
| Estensione | 1 online resource (viii, 192 pages). |
| Disciplina | 025.04 |
| Accesso persona | Wallace, Mark |
| ISBN |
9783540607946
3540607943 9783540494560 3540494561 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UALBERTA-8005790 |
|
[Kuper, Gabriel]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Alberta / NEOS Library Consortium | |
Constraint Databases and Application : ESPRIT WG CONTESSA Workshop Friedrichshafen, Germany, September 8#9, 1995 Proceedings / edited by Gabriel Kuper, Mark Wallace
| Constraint Databases and Application : ESPRIT WG CONTESSA Workshop Friedrichshafen, Germany, September 8#9, 1995 Proceedings / edited by Gabriel Kuper, Mark Wallace |
| Creatore | [Kuper, Gabriel] |
| Estensione | 1 online resource (viii, 192 pages). |
| Accesso persona | Wallace, Mark |
| Genere/Forma | Electronic books |
| ISBN |
9783540607946
3540607943 9783540494560 3540494561 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Application development with the CHIP system -- On the expressiveness of first-order constraint languages -- Generalized relational algebra: Modeling spatial queries in constraint databases -- DISCO: A constraint database system with sets -- Constraint-based query optimization and processing -- The application of multi-dimensional indexing methods to constraints -- Towards the definition of a spatial object-oriented data model with constraints -- Ambiguity for referential integrity is undecidable -- Magic checking: Constraint checking for database query optimisation -- FISSURE: Finder of solutions with subdefinite resources. |
| Record Nr. | UCHICAGO-11079102 |
|
[Kuper, Gabriel]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Chicago | |
A new approach to database logic / Gabriel M. Kuper, Moshe Y. Vardi
| A new approach to database logic / Gabriel M. Kuper, Moshe Y. Vardi |
| Creatore | [Kuper, Gabriel] |
| Estensione | 1 v. : ill. |
| Accesso persona | Vardi, Moshe Y. |
| Accesso ente | Stanford University.Computer Science Department |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UALBERTA-2384534 |
|
[Kuper, Gabriel]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Alberta / NEOS Library Consortium | |