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 procedural semantics for stratified database updates - MaRDI portal

A procedural semantics for stratified database updates

From MaRDI portal

Publication:1376085

Jump to:navigation, search

DOI10.1023/A:1018965418898zbMath0890.68041MaRDI QIDQ1376085

Weidong Chen, Julie Yu-Chih Liu

Publication date: 21 January 1998

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

procedural semantics stratified logic programs stratified update programs

Mathematics Subject Classification ID

Database theory (68P15) Logic programming (68N17)

This page was built for publication: A procedural semantics for stratified database updates

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