Ergebnisse für: query rewriting

confidentiality and integrity hypothesis ranking query rewriting semi-supervised learning XML databases clustering architecture data aggregation differential privacy identical nodes behavior inference large-scale analysis literature-based discovery materialization periodic sensor networks (PSNs) regular XPath

confidentiality and integrity hypothesis ranking query rewriting semi-supervised learning XML databases clustering architecture data aggregation differential privacy identical nodes behavior inference large-scale analysis literature-based discovery materialization periodic sensor networks (PSNs) regular XPath

DOM Extensible Markup Language (XML) XML algorithms data engineering data integration database design database logic database queries formal methods information systems logic query rewriting security semantics

Analytics Big data Cloud Clustering Data mining Data science High influence patterns Information leakage Knowledge discovery Linked Open Data (LOD) OLAP Privacy Query rewriting Security Semantic Web

automata theory differential equations dynamical and hybrid systems eigenvalues and eigenfunctions eigenvectors finite automata integer programming knapsack problems matrix algebra numerical methods problem solving query processing rewriting systems search engines security analysis

DOM Extensible Markup Language (XML) XML algorithms data engineering data integration database design database logic database queries formal methods information systems logic query rewriting security semantics

AI logics DPLL SAT solvers SMT solving abstraction automata theory automated deduction automated reasoning constraints description logics distributed systems formal verification logic programming marginalization problem matrix interpretations

analytic tableaux automated deduction automated reasoning computer aided verification datalog logic logic programming policy monitoring query languages rewriting techniques satisfiability testing temporal logic theorem proving verification

AI logics DPLL SAT solvers SMT solving abstraction automata theory automated deduction automated reasoning constraints description logics distributed systems formal verification logic programming marginalization problem matrix interpretations

analytic tableaux automated deduction automated reasoning computer aided verification datalog logic logic programming policy monitoring query languages rewriting techniques satisfiability testing temporal logic theorem proving verification

automata theory differential equations dynamical and hybrid systems eigenvalues and eigenfunctions eigenvectors finite automata integer programming knapsack problems matrix algebra numerical methods problem solving query processing rewriting systems search engines security analysis