Applications of Alfred Tarski's Ideas in Database Theory

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

Check