The Expressiveness of Datalog Circuits (dac) I Introduction

Abstract

We deene a new logic query language, called DAC, which is an extension of Datalog. We exhibit queries which are not Datalog expressible but are DAC expressible. We also prove non-expressiveness results for DAC and we infer various strict hierarchies obtained by allowing more rapidly growing functions on the bound parameters. A Datalog program is an… (More)

Topics

Cite this paper

@inproceedings{AfratiTheEO, title={The Expressiveness of Datalog Circuits (dac) I Introduction}, author={Foto N. Afrati and ene GUESSARIAN and Michel de Rougemont} }