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 | Authors: | VAN DEN BUSSCHE, Jan | Issue Date: | 2001 | Publisher: | Springer | Source: | Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL. p. 20-37 | Series/Report: | Lecture Notes in Computer Science | Series/Report no.: | 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. | Document URI: | http://hdl.handle.net/1942/711 | Link to publication/dataset: | 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 |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.