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 |
WEB OF SCIENCETM
Citations
3
checked on Jul 13, 2024
Page view(s)
16
checked on Nov 7, 2023
Download(s)
14
checked on Nov 7, 2023
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.