Flag and check: data access with monadically defined queries.

We introduce monadically defined queries (MODEQs) and nested monadically defined queries (NEMODEQs), two querying formalisms that extend conjunctive queries, conjunctive two-way regular path queries, and monadic Datalog queries. Both can be expressed as Datalog queries and in monadic second-order lo...

Ամբողջական նկարագրություն

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Rudolph, S, Krötzsch, M
Այլ հեղինակներ: Hull, R
Ձևաչափ: Conference item
Հրապարակվել է: ACM 2013

Նմանատիպ նյութեր