41 results on '"BENEDIKT, MICHAEL"'
Search Results
2. PDQ 2.0
3. Rewriting the infinite chase
4. Balancing Expressiveness and Inexpressiveness in View Design
5. TraNCE
6. Inference from Visible Information and Background Knowledge
7. Generating collection transformations from proofs
8. Scalable querying of nested data
9. Finite Open-world Query Answering with Number Restrictions
10. Monadic Datalog, Tree Validity, and Limited Access Containment
11. Logic-based Perspectives on Query Reformulationover Restricted Interfaces
12. Complexity of Two-Variable Logic on Finite Trees
13. SPARQLByE
14. Limiting Until in Ordered Tree Query Languages
15. Generating Plans from Proofs
16. Effective Interpolation and Preservation in Guarded Logics
17. Analysis of Schemas with Access Restrictions
18. Querying with access patterns and integrity constraints
19. PDQ
20. ROSeAnn
21. Aggregating semantic annotators
22. Report on the first workshop on innovative querying of streams
23. Report on PODS 2012
24. Querying schemas with access restrictions
25. HOMES
26. Report on the EDBT/ICDT 2010 workshop on updates in XML
27. Probabilistic XML via Markov Chains
28. The impact of virtual views on containment
29. Destabilizers and independence of XML updates
30. From XQuery to relational logics
31. Regular tree languages definable in FO and in FOmod
32. Schema-based independence analysis for XML updates
33. XPath leashed
34. Efficient network aware search in collaborative tagging sites
35. XPath satisfiability in the presence of DTDs
36. Logical definability and query languages over ranked and unranked trees
37. A characterization of first-order topological properties of planar spatial data
38. Analysis of recursive state machines
39. Definable relations and first-order query languages over strings
40. Relational queries over interpreted structures
41. Relational expressive power of constraint query languages
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.