www.uhasselt.be
DSpace

Document Server@UHasselt >
Research >
Research publications >

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
Citation: 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.
URI: http://hdl.handle.net/1942/602
ISI #: 000169617700004
ISSN: 0163-5808
Category: A1
Type: Journal Contribution
Appears in Collections: Research publications

Files in This Item:

Description SizeFormat
N/A174.28 kBAdobe PDF

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.