Volume: Vol-4302 Datalog-2.0 2026 | Year: 2026

Paper: « paper7 | paper8 | paper9 »

Extensional Reasoning with Complete View Definitions and Incomplete Data: a Transformation-based Approach