503 results on '"Leonid Libkin"'
Search Results
102. XML with incomplete information: models, properties, and query answering.
103. XML Schema Mappings: Data Exchange and Metadata Management.
104. Querying Regular Graph Patterns.
105. Naïve Evaluation of Queries over Incomplete Databases.
106. Efficient Approximations of Conjunctive Queries.
107. Research Highlights: Bridging Theory and Practice with Query Log Analysis.
108. Data exchange and schema mappings in open and closed worlds.
109. Reasoning about XML with Temporal Logics and Automata.
110. Recurrent Reachability Analysis in Regular Model Checking.
111. Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization.
112. Combining Temporal Logics for Querying XML Documents.
113. XML design for relational storage.
114. Normalization Theory for XML.
115. First-Order and Temporal Logics for Nested Words.
116. Finite Model Theory and Its Applications
117. Data exchange and incomplete information.
118. On redundancy vs dependency preservation in normalization: an information-theoretic study of 3NF.
119. Logics for Unranked Trees: An Overview.
120. Consistency of XML Specifications.
121. XML data exchange: consistency and query answering.
122. Temporal Logics over Unranked Trees.
123. Locally Consistent Transformations and Query Answering in Data Exchange.
124. Efficient Incremental Validation of XML Documents.
125. Game-Based Notions of Locality Over Finite Models.
126. An information-theoretic approach to normal forms for relational and XML data.
127. Logical Definability and Query Languages over Unranked Trees.
128. On the aggregation problem for synthesized Web services.
129. Solutions and query rewriting in data exchange.
130. Parameterized regular expressions and their languages.
131. Incorporating Data Context to Cost-Effectively Automate End-to-End Data Wrangling
132. A Normal Form for XML Documents.
133. On Verifying Consistency of XML Specifications.
134. What's Hard about XML Schema Constraints?
135. 2017 ACM PODS Alberto O. Mendelzon Test-of-Time Award.
136. Certain Answers as Objects and Knowledge.
137. Expressive Power of SQL.
138. A Model-Theoretic Approach to Regular String Relations.
139. Tractable XML data exchange via relations.
140. Efficient reasoning about data trees via integer linear programming.
141. Expressive Languages for Path Queries over Graph-Structured Data.
142. 20th workshop on logic, language, information and computation - WoLLIC 2013.
143. Variable Independence, Quantifier Elimination, and Constraint Representations.
144. Logics Capturing Local Properties.
145. Reachability and Connectivity Queries in Constraint Databases.
146. Query Safety with Constraints.
147. Expressive Power: The Finite Case.
148. Introduction.
149. Aggregate Languages for Constraint Databases.
150. Data exchange and schema mappings in open and closed worlds.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.