Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/602
Title: | Constraint databases: A tutorial introduction | Authors: | VAN DEN BUSSCHE, Jan | Issue Date: | 2000 | Publisher: | ASSOC COMPUTING MACHINERY | Source: | SIGMOD Record, 29(3). p. 44-51 | Abstract: | A tutorial introduction to the basic definitions surrounding the idea of constraint databases. This paper is written like a transcript of an invited talk I gave at a meeting bringing together researchers from finite model theory, database theory, and computer-aided verification, which was held at Schloss Dagstuhl in October 1999. | Document URI: | http://hdl.handle.net/1942/602 | ISI #: | 000169617700004 | Category: | A1 | Type: | Journal Contribution |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
column.pdf | 174.28 kB | Adobe PDF | View/Open |
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.