Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

On datalog vs polynomial time

From MaRDI portal
Publication:1900923
Jump to:navigation, search

DOI10.1006/jcss.1995.1060zbMath0831.68015OpenAlexW1984280364MaRDI QIDQ1900923

Mihalis Yannakakis, Stavros S. Cosmandakis, Foto N. Afrati

Publication date: 25 October 1995

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jcss.1995.1060


zbMATH Keywords

datalogpumping lemma


Mathematics Subject Classification ID

Logic programming (68N17)


Related Items (7)

A datalog-based computational model for coordination-free, data-parallel systems ⋮ Bounds in ontology-based data access via circuit complexity ⋮ Modern Datalog Engines ⋮ Preservation theorems in finite model theory ⋮ Computing with infinitary logic ⋮ Inherent complexity of recursive queries ⋮ The expressiveness of DAC


Uses Software

  • Datalog



This page was built for publication: On datalog vs polynomial time

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1900923&oldid=14310915"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 1 February 2024, at 14:53.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki