Logics for Emerging Applications of DatabasesJan Chomicki, Ron van der Meyden, Gunter Saake Springer Science & Business Media, 2003 M08 26 - 368 pages In this era of heterogeneous and distributed data sources, ranging from semistructured documents to knowledge about coordination processes or workflows, logic provides a rich set of tools and techniques with which to address the questions of how to represent, query and reason about complex data. This book provides a state-of-the-art overview of research on the application of logic-based methods to information systems, covering highly topical and emerging fields: XML programming and querying, intelligent agents, workflow modeling and verification, data integration, temporal and dynamic information, data mining, authorization, and security. It provides both scientists and graduate students with a wealth of material and references for their own research and education. |
Contents
II | 1 |
IV | 5 |
V | 11 |
VI | 18 |
VII | 24 |
VIII | 27 |
IX | 36 |
X | 37 |
XLVI | 180 |
XLVII | 184 |
XLVIII | 197 |
XLIX | 198 |
L | 200 |
LI | 203 |
LII | 205 |
LIII | 211 |
XI | 43 |
XIII | 45 |
XIV | 53 |
XV | 56 |
XVI | 63 |
XVII | 65 |
XVIII | 68 |
XIX | 76 |
XX | 78 |
XXI | 85 |
XXIII | 88 |
XXIV | 90 |
XXV | 101 |
XXVI | 113 |
XXVII | 116 |
XXVIII | 121 |
XXIX | 125 |
XXX | 126 |
XXXI | 131 |
XXXIII | 132 |
XXXIV | 134 |
XXXV | 136 |
XXXVI | 139 |
XXXVII | 145 |
XXXVIII | 151 |
XXXIX | 157 |
XL | 162 |
XLII | 167 |
XLIV | 170 |
XLV | 175 |
Other editions - View all
Logics for Emerging Applications of Databases Jan Chomicki,Ron van der Meyden,Gunter Saake Limited preview - 2011 |
Logics for Emerging Applications of Databases Jan Chomicki,Ron van der Meyden,Gunter Saake No preview available - 2012 |