Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/602
Full metadata record
DC FieldValueLanguage
dc.contributor.authorVAN DEN BUSSCHE, Jan-
dc.date.accessioned2005-02-15T12:36:46Z-
dc.date.available2005-02-15T12:36:46Z-
dc.date.issued2000-
dc.identifier.citationSIGMOD Record, 29(3). p. 44-51-
dc.identifier.issn0163-5808-
dc.identifier.urihttp://hdl.handle.net/1942/602-
dc.description.abstractA 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.-
dc.format.extent178465 bytes-
dc.format.mimetypeapplication/pdf-
dc.language.isoen-
dc.publisherASSOC COMPUTING MACHINERY-
dc.titleConstraint databases: A tutorial introduction-
dc.typeJournal Contribution-
dc.identifier.epage51-
dc.identifier.issue3-
dc.identifier.spage44-
dc.identifier.volume29-
local.bibliographicCitation.jcatA1-
local.type.refereedRefereed-
local.type.specifiedArticle-
dc.bibliographicCitation.oldjcatA1-
dc.identifier.isi000169617700004-
item.fulltextWith Fulltext-
item.contributorVAN DEN BUSSCHE, Jan-
item.fullcitationVAN DEN BUSSCHE, Jan (2000) Constraint databases: A tutorial introduction. In: SIGMOD Record, 29(3). p. 44-51.-
item.accessRightsClosed Access-
Appears in Collections:Research publications
Files in This Item:
File Description SizeFormat 
column.pdf174.28 kBAdobe PDFView/Open
Show simple item record

Google ScholarTM

Check


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