9780521602747 - Formal Semantics and Pragmatics (Cambridge Tracts in Theoretical Computer Science, 8) von Clifford, James (3 Ergebnisse)

Zustand: New. In.

Zustand: New. Connects the semantics of databases to that of natural language, and links them through a common view of the semantics of time. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 212 pages, black & white illustrations. BIC Classification: UYQL. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 11. Weight in Grams: 390. . 2008. Revised ed. paperback. . . . . Books ship from the US and Ireland.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book discusses the connection between two areas of semantics, namely the semantics of databases and the semantics of natural language, and links them via a common view of the semantics of time. It is argued that a coherent theory of the semantics of time is an essential ingredient for the success of efforts to incorporate more 'real world' semantics into database models. This idea is a relatively recent concern of database research but it is receiving growing interest. The book begins with a discussion of database querying which motivates the use of the paradigm of Montague Semantics and discusses the details of the intensional logic ILs. This is followed by a description of the author's own model, the Historical Relational Data Model (HRDM) which extends the RDM to include a temporal dimension. Finally the database querying language QEHIII is defined and examples illustrate its use. A formal model for the interpretation of questions is presented in this work which will form the basis for much further research.