A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
IFIP Advances in Information and Communication Technology
Automated analysis tools offer potential solutions to many of the difficult inference problems found in multilevel database applications. The work described here brings together two interactive tools to assist the designer in creating a multilevel database application that is free of known inference problems. One tool, the SRI inference tool (Stickel, 1994b ) , is a research prototype developed under contract to Air Force Rome Laboratory. The other tool is a commercial product, Software Throughdoi:10.1007/978-0-387-34932-9_19 fatcat:mon3cln44vbmvgv2gnfow2u22q