Formal Semantics and Pragmatics for Natural Language Querying

The book explores the intersection of database semantics and natural language semantics, emphasizing the importance of a coherent theory of time semantics for enhancing database models. It begins with an analysis of database querying through Montague Semantics and intensional logic. The author introduces the Historical Relational Data Model (HRDM), which incorporates a temporal dimension, and defines the database querying language QEHIII, supported by practical examples. Additionally, a formal model for interpreting questions is established, laying the groundwork for future research.