A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic.

Gabriel Aguilera Pablo Cordero Manuel Enciso Angel Mora Inmaculada Perez de Guzmán A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic. 31-40 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3171&spage=31 2004 conf/sbia/2004 SBIA db/conf/sbia/sbia2004.html#AguileraCEMG04