Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A simple characterization of uniform boundedness for a class of recursions - MaRDI portal

A simple characterization of uniform boundedness for a class of recursions

From MaRDI portal

Publication:3210151

Jump to:navigation, search

DOI10.1016/0743-1066(91)90037-PzbMath0722.68022MaRDI QIDQ3210151

Yehoshua Sagiv, Jeffrey F. Naughton

Publication date: 1991

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

optimization boundedness recursive database query languages

Mathematics Subject Classification ID

Database theory (68P15) Artificial intelligence (68T99) Logic programming (68N17)

Related Items (1)

Eliminating Recursion from Monadic Datalog Programs on Trees

This page was built for publication: A simple characterization of uniform boundedness for a class of recursions

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3210151&oldid=16366846"