Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Edition: 1 edition
Publisher: Springer
Published: August 17, 2004
Language: eng
Format: Hardcover
Number of pages: 318
ISBN-13: 9783540212027
Subjects: Mathematical logic; Science/Mathematics; Logic; Mathematics; Computers - General Information; Computer Science; Database Management - General; Abstract Devices; Artificial Intelligence; Complexitiy Theory; Computation; Database Management; Finite Model Theory; Formal Languages; Formal Methods; Logics and Meanings; Mathematics / Logic; Model theory
First sentence: While early database systems used rather ad hoc data models, from the early 1970s the world switched to the relational model.