Constraint Databases and Applications [[electronic resource] ] : Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP'96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected papers / / edited by Volker Gaede, Alexander Brodsky, Oliver Günther, Divesh Srivastava, Victor Vianu, Mark Wallace |
Edizione | [1st ed. 1996.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
Descrizione fisica | 1 online resource (XI, 350 p.) |
Disciplina | 005.74 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Data structures (Computer science)
Software engineering Database management Information storage and retrieval Computer programming Programming languages (Electronic computers) Data Structures and Information Theory Software Engineering/Programming and Operating Systems Database Management Information Storage and Retrieval Programming Techniques Programming Languages, Compilers, Interpreters |
ISBN | 3-540-68049-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Planar topological queries (extended abstract) -- An informal introduction to constraint database systems (extended abstract) -- Query evaluation as constraint search; an overview of early results -- Computing the well-founded semantics for constraint extensions of datalog? -- Decomposition and lossless join in constraint databases -- A rule-based CQL for 2-dimensional tables -- On the expressiveness of query languages with linear constraints; capturing desirable spatial properties -- On expressing topological connectivity in spatial Datalog -- The C 3 constraint object-oriented database system: An overview -- Integrity constraint checking in Chimera -- SICSDD: Techniques and implementation -- A temporal constraint system for object-oriented databases -- Using database versions to implement temporal integrity constraints -- Genomic database applications in DISCO -- Constraint databases and program analysis using abstract interpretation -- Querying indexed files -- On the complexity of BV-tree updates -- Implementing index data structures using constraint logic programming -- Problem solving in the DISCO constraint database system -- Interval domain library for ECLiPSe and its application -- A semantic query optimization algorithm for object-oriented databases. |
Record Nr. | UNISA-996466237303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Constraint Databases and Applications [[electronic resource] ] : ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September, 8 - 9, 1995. Proceedings / / edited by Gabriel Kuper, Mark Wallace |
Edizione | [1st ed. 1996.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
Descrizione fisica | 1 online resource (VIII, 192 p.) |
Disciplina | 005.74 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Data structures (Computer science)
Geographical information systems Information storage and retrieval Database management Computer programming Programming languages (Electronic computers) Data Structures and Information Theory Geographical Information Systems/Cartography Information Storage and Retrieval Database Management Programming Techniques Programming Languages, Compilers, Interpreters |
ISBN | 3-540-49456-1 |
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. | UNISA-996465855903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Principles and Practice of Constraint Programming - CP 2004 [[electronic resource] ] : 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings / / edited by Mark Wallace |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XXXIV, 826 p.) |
Disciplina | 005.11 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer logic Mathematical logic Artificial intelligence Software Engineering/Programming and Operating Systems Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Artificial Intelligence |
ISBN | 3-540-30201-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Distinguished Papers -- Full Papers -- Short Papers -- Doctoral Papers -- Demonstrations. |
Record Nr. | UNISA-996465428403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Principles and Practice of Constraint Programming - CP 2004 : 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings / / edited by Mark Wallace |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XXXIV, 826 p.) |
Disciplina | 005.11 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer logic Mathematical logic Artificial intelligence Software Engineering/Programming and Operating Systems Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Artificial Intelligence |
ISBN | 3-540-30201-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Distinguished Papers -- Full Papers -- Short Papers -- Doctoral Papers -- Demonstrations. |
Record Nr. | UNINA-9910144349803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|