Conferences · eligible papers
PODS
2022–2026 LIVE
2024 · 39 papers
このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。
- A Dichotomy in the Complexity of Consistent Query Answering for Two Atom Queries With Self-Join
日本大学: 関与なし（対象大学）
- A faster FPRAS for #NFA
日本大学: 関与なし（対象大学）
- Bag Semantics Conjunctive Query Containment. Four Small Steps Towards Undecidability.
日本大学: 関与なし（対象大学）
- Chase Termination Beyond Polynomial Time
日本大学: 関与なし（対象大学）
- Combined Approximations for Uniform Operational Consistent Query Answering
日本大学: 関与なし（対象大学）
- Conjunctive Queries with Negation and Aggregation: A Linear Time Characterization
日本大学: 関与なし（対象大学）
- Consistency of Relations over Monoids
日本大学: 関与なし（対象大学）
- Consistent Query Answering for Primary Keys on Rooted Tree Queries
日本大学: 関与なし（対象大学）
- Containment of Graph Queries Modulo Schema
日本大学: 関与なし（対象大学）
- Continual Release of Differentially Private Synthetic Data from Longitudinal Data Collections
日本大学: 関与なし（対象大学）
- Counting Answers to Unions of Conjunctive Queries: Natural Tractability Criteria and Meta-Complexity
日本大学: 関与なし（対象大学）
- Distinct Shortest Walk Enumeration for RPQs
日本大学: 関与なし（対象大学）
- Enumeration for MSO-Queries on Compressed Trees
日本大学: 関与なし（対象大学）
- Evaluating Datalog over Semirings: A Grounding-based Approach
日本大学: 関与なし（対象大学）
- Expected Shapley-Like Scores of Boolean functions: Complexity and Applications to Probabilistic Databases
日本大学: 関与なし（対象大学）
- Fast Matrix Multiplication for Query Processing
日本大学: 関与なし（対象大学）
- From Shapley Value to Model Counting and Back
日本大学: 関与なし（対象大学）
- Generalized Core Spanner Inexpressibility via Ehrenfeucht-Fraïssé Games for FC
日本大学: 関与なし（対象大学）
- History-Independent Dynamic Partitioning: Operation-Order Privacy in Ordered Data Structures
日本大学: 関与なし（対象大学）
- Join Size Bounds using l p -Norms on Degree Sequences
日本大学: 関与なし（対象大学）
- Layered List Labeling
日本大学: 関与なし（対象大学）
- Minimally Factorizing the Provenance of Self-join Free Conjunctive Queries
日本大学: 関与なし（対象大学）
- On Density-based Local Community Search
日本大学: 関与なし（対象大学）
- On Reporting Durable Patterns in Temporal Proximity Graphs
日本大学: 関与なし（対象大学）
- On the Feasibility of Forgetting in Data Streams
日本大学: 関与なし（対象大学）
- Postulates for Provenance: Instance-based provenance for first-order logic
日本大学: 関与なし（対象大学）
- Query Optimization by Quantifier Elimination
日本大学: 関与なし（対象大学）
- Simple & Optimal Quantile Sketch: Combining Greenwald-Khanna with Khanna-Greenwald
日本大学: 関与なし（対象大学）
- Streaming Algorithms with Few State Changes
日本大学: 関与なし（対象大学）
- The Complexity of Why-Provenance for Datalog Queries
日本大学: 関与なし（対象大学）
- The Moments Method for Approximate Data Cube Queries
日本大学: 関与なし（対象大学）
- The Weisfeiler-Leman Dimension of Conjunctive Queries
日本大学: 関与なし（対象大学）
- Tight Bounds of Circuits for Sum-Product Queries
日本大学: 関与なし（対象大学）
- Tight Lower Bounds for Directed Cut Sparsification and Distributed Min-Cut
日本大学: 関与なし（対象大学）
- Topology-aware Parallel Joins
日本大学: 関与なし（対象大学）
- TypeQL: A Type-Theoretic & Polymorphic Query Language
日本大学: 関与なし（対象大学）
- Verification of Unary Communicating Datalog Programs
日本大学: 関与なし（対象大学）
- When View- and Conflict-Robustness Coincide for Multiversion Concurrency Control
日本大学: 関与なし（対象大学）
- When is Shapley Value Computation a Matter of Counting?
日本大学: 関与なし（対象大学）