|
|
|
|
LEADER |
10364cam a2201453 4500 |
001 |
183-595123139 |
003 |
DE-627 |
005 |
20240214204637.0 |
007 |
cr uuu---uuuuu |
008 |
090328s1996 gw |||||o 00| ||eng c |
020 |
|
|
|a 9783540494560
|9 978-3-540-49456-0
|
024 |
7 |
|
|a 10.1007/3-540-60794-3
|2 doi
|
035 |
|
|
|a (DE-627)595123139
|
035 |
|
|
|a (DE-576)9595123137
|
035 |
|
|
|a (DE-599)GBV595123139
|
035 |
|
|
|a (OCoLC)845512298
|
035 |
|
|
|a (DE-601)NLM003724840
|
035 |
|
|
|a (ZBM)1114.68300
|
035 |
|
|
|a (ZBM)1114.68300
|
035 |
|
|
|a (DE-He213)978-3-540-49456-0
|
035 |
|
|
|a (EBP)040472817
|
040 |
|
|
|a DE-627
|b ger
|c DE-627
|e rakwb
|
041 |
|
|
|a eng
|
044 |
|
|
|c XA-DE-BE
|
050 |
|
0 |
|a QA76.612
|
072 |
|
7 |
|a UMB
|2 bicssc
|
072 |
|
7 |
|a GPF
|2 bicssc
|
072 |
|
7 |
|a COM031000
|2 bisacsh
|
084 |
|
|
|a 28
|2 sdnb
|
084 |
|
|
|a SS 4800
|q SEPA
|2 rvk
|0 (DE-625)rvk/143528:
|
084 |
|
|
|a ST 270
|q SEPA
|2 rvk
|0 (DE-625)rvk/143638:
|
084 |
|
|
|a *68-06
|2 msc
|
084 |
|
|
|a 00B25
|2 msc
|
084 |
|
|
|a 54.64
|2 bkl
|
084 |
|
|
|a 54.75
|2 bkl
|
245 |
1 |
0 |
|a Constraint databases and applications
|b ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8 - 9, 1995 ; proceedings
|c Gabriel Kuper ... (eds.)
|
264 |
|
1 |
|a Berlin [u.a.]
|b Springer
|c 1996
|
300 |
|
|
|a Online-Ressource (185 S.)
|
336 |
|
|
|a Text
|b txt
|2 rdacontent
|
337 |
|
|
|a Computermedien
|b c
|2 rdamedia
|
338 |
|
|
|a Online-Ressource
|b cr
|2 rdacarrier
|
490 |
1 |
|
|a Lecture notes in computer science
|v 1034
|
500 |
|
|
|a Literaturangaben
|
520 |
|
|
|a 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.
|
520 |
|
|
|a This book constitutes the refereed proceedings of the ESPRIT Working Group CONTESSA Workshop on Constraint Databases and Applications, held in Friedrichshafen, Germany in September 1995. The 10 full revised papers selected for inclusion in this volume are written by and for practitioners, researchers, and application users of core constraint database technology; they can be classified in three sections on expressiveness of the various constraint database models; implementation and optimization issues in areas like spatial databases, geographic information systems, scheduling and routing. This book is the first to focus on the extension of the important new programming paradigm of constraint processing to database design and management.
|
533 |
|
|
|a Online-Ausg.
|b Berlin [u.a.]
|c Springer
|d 2006
|f Springer Lecture Notes Archive
|7 |2006||||||||||
|
650 |
|
0 |
|a Computer science
|
650 |
|
0 |
|a Geographical information systems
|
650 |
|
0 |
|a Database management
|x Congresses
|
650 |
|
0 |
|a Information storage and retrieval systems
|
650 |
|
0 |
|a Geographic information systems.
|
650 |
|
0 |
|a Information theory.
|
650 |
|
0 |
|a Data structures (Computer science).
|
650 |
|
0 |
|a Computer programming.
|
650 |
|
0 |
|a Compilers (Computer programs).
|
650 |
|
4 |
|a Geographical Information Systems/Cartography
|
650 |
|
4 |
|a Programming Techniques
|
650 |
|
4 |
|a Computer Science
|
650 |
|
4 |
|a Programming Languages, Compilers, Interpreters
|
650 |
|
4 |
|a Information Storage and Retrieval
|
650 |
|
4 |
|a Database Management
|
655 |
|
7 |
|a Konferenzschrift
|y 1995
|z Friedrichshafen
|0 (DE-588)1071861417
|0 (DE-627)826484824
|0 (DE-576)433375485
|2 gnd-content
|
689 |
0 |
0 |
|D s
|0 (DE-588)4113276-2
|0 (DE-627)105830550
|0 (DE-576)209475145
|a Datenbanksystem
|2 gnd
|
689 |
0 |
1 |
|D s
|0 (DE-588)4314755-0
|0 (DE-627)126504768
|0 (DE-576)211167258
|a Constraint
|g Künstliche Intelligenz
|2 gnd
|
689 |
0 |
|
|5 DE-101
|
700 |
1 |
|
|a Kuper, Gabriel
|4 oth
|
710 |
2 |
|
|a Europäische Kommission
|b Europäisches Strategisches Programm für Forschung und Entwicklung auf dem Gebiet der Informationstechnologie
|b Basic Research Action CONTESSA
|0 (DE-588)2152451-8
|0 (DE-627)191012432
|0 (DE-576)195609433
|4 oth
|
776 |
1 |
|
|z 3540607943
|
776 |
1 |
|
|z 9783540607946
|
776 |
0 |
8 |
|i Druckausg.
|t Constraint databases and applications
|d Berlin : Springer, 1996
|h 185 S.
|w (DE-627)272030988
|w (DE-576)050185071
|z 3540607943
|
830 |
|
0 |
|a Lecture notes in computer science
|v 1034
|9 103400
|w (DE-627)316228877
|w (DE-576)093890923
|w (DE-600)2018930-8
|x 1611-3349
|7 ns
|
856 |
4 |
0 |
|u http://www.springerlink.com/content/q84184403kh7
|x Verlag
|z lizenzpflichtig
|3 Volltext
|
856 |
4 |
0 |
|u http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-60794-6
|x Verlag
|z lizenzpflichtig
|3 Volltext
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/3-540-60794-3
|x Resolving-System
|z lizenzpflichtig
|3 Volltext
|
856 |
4 |
0 |
|u https://doi.org/10.1007/3-540-60794-3
|m X:SPRINGER
|x Resolving-System
|z lizenzpflichtig
|
856 |
4 |
2 |
|u https://zbmath.org/?q=an:1114.68300
|m B:ZBM
|v 2021-04-12
|x Verlag
|y Zentralblatt MATH
|3 Inhaltstext
|
912 |
|
|
|a ZDB-1-SLN
|
912 |
|
|
|a ZDB-2-LNC
|b 1996
|
912 |
|
|
|a ZDB-2-SCS
|b 1996
|
912 |
|
|
|a ZDB-2-BAE
|b 1996
|
912 |
|
|
|a ZDB-2-SXCS
|b 1996
|
912 |
|
|
|a ZDB-2-SEB
|b 1996
|
912 |
|
|
|a SSG-OPC-bbi
|
912 |
|
|
|a SSG-OPC-mat
|
924 |
1 |
|
|a 1221294997
|b DE-1a
|9 1a
|c GBV
|d d
|h 5:INTERN
|k http://erf.sbb.spk-berlin.de/han/512881081/dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 202663469
|b DE-84
|9 84
|c GBV
|d d
|k http://dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 201773708
|b DE-46
|9 46
|c GBV
|d d
|k http://dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 1162767219
|b DE-18
|9 18
|c GBV
|d d
|k http://dx.doi.org/10.1007/3-540-60794-3
|k http://emedien.sub.uni-hamburg.de/han/SpringerEbooks/dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 202422712
|b DE-830
|9 830
|c GBV
|d d
|k http://dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 202687139
|b DE-8
|9 8
|c GBV
|d d
|k http://dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 3503723315
|b DE-104
|9 104
|c GBV
|d d
|k http://dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 1114760188
|b DE-27
|9 27
|c GBV
|d d
|k http://dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 202728285
|b DE-Ilm1
|9 Ilm 1
|c GBV
|d d
|g Online-Ressource
|h Internet
|
924 |
1 |
|
|a 1273480198
|b DE-7
|9 7
|c GBV
|d d
|k http://dx.doi.org/10.1007/3-540-60794-3
|k http://han.sub.uni-goettingen.de/han/SpringerLectureNotesinComputerScience/dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 1159764174
|b DE-705
|9 705
|c GBV
|d d
|k http://dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 202639789
|b DE-28
|9 28
|c GBV
|d d
|k http://dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 202698963
|b DE-Wim2
|9 Wim 2
|c GBV
|d d
|k http://dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 202627942
|b DE-3
|9 3
|c GBV
|d d
|g ebook
|k http://dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 1173493085
|b DE-9
|9 9
|c GBV
|d d
|k http://dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 1670353524
|b DE-95
|9 95
|c GBV
|d d
|k http://dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 1196437327
|b DE-Ma9
|9 Ma 9
|c GBV
|d d
|g ebook SpringerLectureNotes
|k http://dx.doi.org/10.1007/3-540-60794-3
|k http://han.med.uni-magdeburg.de/han/NLUNIeBookSpringerLectureNotes/dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 1196473811
|b DE-Ma14
|9 Ma 14
|c GBV
|d d
|g ebook SpringerLectureNotes
|k http://dx.doi.org/10.1007/3-540-60794-3
|k http://han.med.uni-magdeburg.de/han/NLUNIeBookSpringerLectureNotes/dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 1217411283
|b DE-Luen4
|9 Lün 4
|c GBV
|d d
|k http://dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 1586805150
|b DE-Kt1
|9 Kt 1
|c GBV
|d d
|k http://dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 927642530
|b DE-715
|9 715
|c GBV
|d d
|k http://dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 1753269105
|b DE-715
|9 715
|c GBV
|d d
|k http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991010445589703501
|l Springer Lecture Notes [Nationallizenz]
|l Campusweiter Zugriff (Universität Oldenburg). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden.
|
924 |
1 |
|
|a 202651622
|b DE-700
|9 700
|c GBV
|d d
|k http://dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 3848422646
|b DE-Wis1
|9 Wis 1
|c GBV
|d d
|k http://dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 1263871046
|b DE-755
|9 755
|c GBV
|d d
|k http://dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 1172939683
|b DE-960
|9 960
|c GBV
|d d
|k http://dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 203358295
|b DE-916
|9 916
|c GBV
|d d
|k http://dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 1823524419
|b DE-Ki95
|9 Ki 95
|c GBV
|d d
|k http://dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 1222073463
|b DE-H155
|9 H 155
|c GBV
|d d
|k http://dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 202675297
|b DE-517
|9 517
|c GBV
|d d
|k http://dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 117297702X
|b DE-960-3
|9 960/3
|c GBV
|d d
|k http://dx.doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 4484386399
|b DE-14
|9 14
|c BSZ
|d d
|k https://doi.org/10.1007/3-540-60794-3
|
924 |
1 |
|
|a 4484386402
|b DE-576
|9 576
|c BSZ
|d d
|
924 |
1 |
|
|a 4484342308
|b DE-Ofb1
|9 Ofb 1
|c BSZ
|d d
|g E-Book Springer
|k https://doi.org/10.1007/3-540-60794-3
|l Zum Online-Dokument
|l Zugang im Hochschulnetz der HS Offenburg / extern via VPN oder Shibboleth (Login über Institution)
|
936 |
r |
v |
|a SS 4800
|b Lecture notes in computer science
|k Informatik
|k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen
|k Schriftenreihen (indiv. Sign.)
|k Lecture notes in computer science
|0 (DE-627)1271461242
|0 (DE-625)rvk/143528:
|0 (DE-576)201461242
|
936 |
r |
v |
|a ST 270
|b Datenbanken, Datenbanksysteme, Data base management, Informationssysteme. Allgemein
|k Informatik
|k Monografien
|k Software und -entwicklung
|k Datenbanken, Datenbanksysteme, Data base management, Informationssysteme
|k Datenbanken, Datenbanksysteme, Data base management, Informationssysteme. Allgemein
|0 (DE-627)1270789287
|0 (DE-625)rvk/143638:
|0 (DE-576)200789287
|
936 |
b |
k |
|a 54.64
|j Datenbanken
|0 (DE-627)106410865
|
936 |
b |
k |
|a 54.75
|j Sprachverarbeitung
|x Informatik
|0 (DE-627)10640587X
|
951 |
|
|
|a BO
|
980 |
|
|
|a 595123139
|b 183
|c sid-183-col-kxpbbi
|
SOLR
_version_ |
1797789803367890944 |
author2 |
Kuper, Gabriel |
author2_role |
oth |
author2_variant |
g k gk |
author_corporate |
Europäische Kommission Europäisches Strategisches Programm für Forschung und Entwicklung auf dem Gebiet der Informationstechnologie Basic Research Action CONTESSA |
author_corporate_role |
oth |
author_facet |
Kuper, Gabriel, Europäische Kommission Europäisches Strategisches Programm für Forschung und Entwicklung auf dem Gebiet der Informationstechnologie Basic Research Action CONTESSA |
building |
Library A |
callnumber-first |
Q - Science |
callnumber-label |
QA76 |
callnumber-raw |
QA76.612 |
callnumber-search |
QA76.612 |
callnumber-sort |
QA 276.612 |
callnumber-subject |
QA - Mathematics |
collection |
ZDB-1-SLN, ZDB-2-LNC, ZDB-2-SCS, ZDB-2-BAE, ZDB-2-SXCS, ZDB-2-SEB, SSG-OPC-bbi, SSG-OPC-mat, sid-183-col-kxpbbi |
contents |
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., This book constitutes the refereed proceedings of the ESPRIT Working Group CONTESSA Workshop on Constraint Databases and Applications, held in Friedrichshafen, Germany in September 1995. The 10 full revised papers selected for inclusion in this volume are written by and for practitioners, researchers, and application users of core constraint database technology; they can be classified in three sections on expressiveness of the various constraint database models; implementation and optimization issues in areas like spatial databases, geographic information systems, scheduling and routing. This book is the first to focus on the extension of the important new programming paradigm of constraint processing to database design and management. |
ctrlnum |
(DE-627)595123139, (DE-576)9595123137, (DE-599)GBV595123139, (OCoLC)845512298, (DE-601)NLM003724840, (ZBM)1114.68300, (DE-He213)978-3-540-49456-0, (EBP)040472817 |
doi_str_mv |
10.1007/3-540-60794-3 |
era_facet |
1995 |
facet_912a |
ZDB-1-SLN, ZDB-2-LNC, ZDB-2-SCS, ZDB-2-BAE, ZDB-2-SXCS, ZDB-2-SEB, SSG-OPC-bbi, SSG-OPC-mat |
facet_avail |
Online |
facet_local_del330 |
Datenbanksystem, Constraint |
finc_class_facet |
Informatik, Allgemeines, Mathematik |
fincclass_txtF_mv |
science-computerscience |
footnote |
Literaturangaben |
format |
eBook, ConferenceProceedings |
format_access_txtF_mv |
Book, E-Book |
format_de105 |
Ebook |
format_de14 |
Book, E-Book |
format_de15 |
Book, E-Book |
format_del152 |
Buch |
format_detail_txtF_mv |
text-online-monograph-independent-conference |
format_dezi4 |
e-Book |
format_finc |
Book, E-Book |
format_legacy |
ElectronicBook |
format_legacy_nrw |
Book, E-Book |
format_nrw |
Book, E-Book |
format_strict_txtF_mv |
E-Book |
genre |
Konferenzschrift 1995 Friedrichshafen (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content |
genre_facet |
Konferenzschrift |
geogr_code |
not assigned |
geogr_code_person |
not assigned |
geographic_facet |
Friedrichshafen |
hierarchy_parent_id |
183-316228877 |
hierarchy_parent_title |
Lecture notes in computer science |
hierarchy_sequence |
103400 |
hierarchy_top_id |
183-316228877 |
hierarchy_top_title |
Lecture notes in computer science |
id |
183-595123139 |
illustrated |
Not Illustrated |
imprint |
Berlin [u.a.], Springer, 1996 |
imprint_str_mv |
Berlin [u.a.]: Springer, 1996, Online-Ausg.: Berlin [u.a.]: Springer, 2006 |
institution |
FID-BBI-DE-23 |
is_hierarchy_id |
183-595123139 |
is_hierarchy_title |
Constraint databases and applications: ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8 - 9, 1995 ; proceedings |
isbn |
9783540494560 |
isbn_isn_mv |
3540607943, 9783540607946 |
issn_isn_mv |
1611-3349 |
language |
English |
last_indexed |
2024-04-30T19:39:21.571Z |
marc024a_ct_mv |
10.1007/3-540-60794-3 |
marc_error |
[geogr_code]Unable to make public java.lang.AbstractStringBuilder java.lang.AbstractStringBuilder.append(java.lang.String) accessible: module java.base does not "opens java.lang" to unnamed module @64e01542 |
match_str |
kuper1996constraintdatabasesandapplicationsespritwgcontessaworkshopfriedrichshafengermanyseptember891995proceedings |
mega_collection |
K10plus Verbundkatalog, Springer Lecture Notes |
multipart_link |
093890923 |
multipart_part |
(093890923)1034 |
oclc_num |
845512298 |
physical |
Online-Ressource (185 S.) |
publishDate |
1996 |
publishDateSort |
1996 |
publishPlace |
Berlin [u.a.] |
publisher |
Springer |
record_format |
marcfinc |
record_id |
595123139 |
recordtype |
marcfinc |
rvk_facet |
SS 4800, ST 270 |
rvk_label |
Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science, Monografien, Software und -entwicklung, Datenbanken, Datenbanksysteme, Data base management, Informationssysteme, Datenbanken, Datenbanksysteme, Data base management, Informationssysteme. Allgemein |
rvk_path |
SS, ST, SQ - SU, SS 4000 - SS 5999, SS 4800, ST 270 - ST 271, ST 270, ST 230 - ST 285 |
rvk_path_str_mv |
SS, ST, SQ - SU, SS 4000 - SS 5999, SS 4800, ST 270 - ST 271, ST 270, ST 230 - ST 285 |
series |
Lecture notes in computer science, 1034 |
series2 |
Lecture notes in computer science ; 1034 |
source_id |
183 |
spelling |
Constraint databases and applications ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8 - 9, 1995 ; proceedings Gabriel Kuper ... (eds.), Berlin [u.a.] Springer 1996, Online-Ressource (185 S.), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture notes in computer science 1034, Literaturangaben, 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., This book constitutes the refereed proceedings of the ESPRIT Working Group CONTESSA Workshop on Constraint Databases and Applications, held in Friedrichshafen, Germany in September 1995. The 10 full revised papers selected for inclusion in this volume are written by and for practitioners, researchers, and application users of core constraint database technology; they can be classified in three sections on expressiveness of the various constraint database models; implementation and optimization issues in areas like spatial databases, geographic information systems, scheduling and routing. This book is the first to focus on the extension of the important new programming paradigm of constraint processing to database design and management., Online-Ausg. Berlin [u.a.] Springer 2006 Springer Lecture Notes Archive |2006||||||||||, Computer science, Geographical information systems, Database management Congresses, Information storage and retrieval systems, Geographic information systems., Information theory., Data structures (Computer science)., Computer programming., Compilers (Computer programs)., Geographical Information Systems/Cartography, Programming Techniques, Computer Science, Programming Languages, Compilers, Interpreters, Information Storage and Retrieval, Database Management, Konferenzschrift 1995 Friedrichshafen (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4113276-2 (DE-627)105830550 (DE-576)209475145 Datenbanksystem gnd, s (DE-588)4314755-0 (DE-627)126504768 (DE-576)211167258 Constraint Künstliche Intelligenz gnd, DE-101, Kuper, Gabriel oth, Europäische Kommission Europäisches Strategisches Programm für Forschung und Entwicklung auf dem Gebiet der Informationstechnologie Basic Research Action CONTESSA (DE-588)2152451-8 (DE-627)191012432 (DE-576)195609433 oth, 3540607943, 9783540607946, Druckausg. Constraint databases and applications Berlin : Springer, 1996 185 S. (DE-627)272030988 (DE-576)050185071 3540607943, Lecture notes in computer science 1034 103400 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, http://www.springerlink.com/content/q84184403kh7 Verlag lizenzpflichtig Volltext, http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-60794-6 Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/3-540-60794-3 Resolving-System lizenzpflichtig Volltext, https://doi.org/10.1007/3-540-60794-3 X:SPRINGER Resolving-System lizenzpflichtig, https://zbmath.org/?q=an:1114.68300 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext |
spellingShingle |
Constraint databases and applications: ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8 - 9, 1995 ; proceedings, Lecture notes in computer science, 1034, 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., This book constitutes the refereed proceedings of the ESPRIT Working Group CONTESSA Workshop on Constraint Databases and Applications, held in Friedrichshafen, Germany in September 1995. The 10 full revised papers selected for inclusion in this volume are written by and for practitioners, researchers, and application users of core constraint database technology; they can be classified in three sections on expressiveness of the various constraint database models; implementation and optimization issues in areas like spatial databases, geographic information systems, scheduling and routing. This book is the first to focus on the extension of the important new programming paradigm of constraint processing to database design and management., Computer science, Geographical information systems, Database management Congresses, Information storage and retrieval systems, Geographic information systems., Information theory., Data structures (Computer science)., Computer programming., Compilers (Computer programs)., Geographical Information Systems/Cartography, Programming Techniques, Computer Science, Programming Languages, Compilers, Interpreters, Information Storage and Retrieval, Database Management, Konferenzschrift 1995 Friedrichshafen, Datenbanksystem, Constraint Künstliche Intelligenz |
title |
Constraint databases and applications: ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8 - 9, 1995 ; proceedings |
title_auth |
Constraint databases and applications ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8 - 9, 1995 ; proceedings |
title_full |
Constraint databases and applications ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8 - 9, 1995 ; proceedings Gabriel Kuper ... (eds.) |
title_fullStr |
Constraint databases and applications ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8 - 9, 1995 ; proceedings Gabriel Kuper ... (eds.) |
title_full_unstemmed |
Constraint databases and applications ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8 - 9, 1995 ; proceedings Gabriel Kuper ... (eds.) |
title_in_hierarchy |
1034. Constraint databases and applications: ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8 - 9, 1995 ; proceedings (1996) |
title_short |
Constraint databases and applications |
title_sort |
constraint databases and applications esprit wg contessa workshop, friedrichshafen, germany, september 8 - 9, 1995 ; proceedings |
title_sub |
ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8 - 9, 1995 ; proceedings |
title_unstemmed |
Constraint databases and applications: ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8 - 9, 1995 ; proceedings |
topic |
Computer science, Geographical information systems, Database management Congresses, Information storage and retrieval systems, Geographic information systems., Information theory., Data structures (Computer science)., Computer programming., Compilers (Computer programs)., Geographical Information Systems/Cartography, Programming Techniques, Computer Science, Programming Languages, Compilers, Interpreters, Information Storage and Retrieval, Database Management, Konferenzschrift 1995 Friedrichshafen, Datenbanksystem, Constraint Künstliche Intelligenz |
topic_facet |
Computer science, Geographical information systems, Database management, Information storage and retrieval systems, Geographic information systems., Information theory., Data structures (Computer science)., Computer programming., Compilers (Computer programs)., Geographical Information Systems/Cartography, Programming Techniques, Computer Science, Programming Languages, Compilers, Interpreters, Information Storage and Retrieval, Database Management, Congresses, Konferenzschrift, Datenbanksystem, Constraint |
url |
http://www.springerlink.com/content/q84184403kh7, http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-60794-6, http://dx.doi.org/10.1007/3-540-60794-3, https://doi.org/10.1007/3-540-60794-3, https://zbmath.org/?q=an:1114.68300 |
work_keys_str_mv |
AT kupergabriel constraintdatabasesandapplicationsespritwgcontessaworkshopfriedrichshafengermanyseptember891995proceedings, AT europaischekommissioneuropaischesstrategischesprogrammfurforschungundentwicklungaufdemgebietderinformationstechnologiebasicresearchactioncontessa constraintdatabasesandapplicationsespritwgcontessaworkshopfriedrichshafengermanyseptember891995proceedings |