Document Server@UHasselt >
Research >
Research publications >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/711

Title: Applications of Alfred Tarski's Ideas in Database Theory
Issue Date: 2001
Publisher: Springer
Citation: Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL. p. 20-37
Series/Report: Lecture Notes in Computer Science, 2142
Abstract: Many ideas of Alfred Tarski - one of the founders of modern logic - find application in database theory. We survey some of them with no attempt at comprehensiveness. Topics discussed include the genericity of database queries; the relational algebra, the Tarskian definition of truth for the relational calculus, and cylindric algebras; relation algebras and computationally complete query languages; real polynomial constraint databases; and geometrical query languages.
URI: http://hdl.handle.net/1942/711
Link to publication: http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2142&spage=20
ISBN: 3-540-42554-3
Category: C1
Type: Proceedings Paper
Appears in Collections: Research publications

Files in This Item:

There are no files associated with this item.

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