Optimization of Linear Logic Programs Using Counting Methods.

Sergio Greco Carlo Zaniolo Optimization of Linear Logic Programs Using Counting Methods. 72-87 EDBT92/P072.pdf conf/edbt/92 1992 EDBT db/conf/edbt/edbt92.html#GrecoZ92 http://dx.doi.org/10.1007/BFb0032424 books/aw/AhoHU74 conf/icde/AlyO89 conf/pods/BancilhonMSU86 books/mk/minker88/BancilhonR88 conf/pods/BeeriNRST87 journals/jlp/BeeriR91 journals/tkde/ChimentiGKNTZ90 ... journals/jcss/HaddadN91 books/sp/Lloyd87 journals/jlp/Marchetti-SpaccamelaPS91 books/cs/NaqviT89 conf/vldb/NaughtonRSU89 conf/sigmod/NaughtonRSU89 journals/tcs/SaccaZ88 conf/sigmod/SaccaZ87 conf/pods/SaccaZ86 journals/siamcomp/Tarjan72 books/cs/Ullman89 books/cs/Ullman88 conf/iclp/Zaniolo88 conf/dood/Zaniolo89