For this reason, logic-based languages have traditionally been used whenever intelligent processing of data was required. Combining the two paradigms can therefore result in data management systems that are not only powerful but also flexible and convenient. This proposal is directed towards such combination. Its advantage over other systems is that it comes with formal semantics and a sound and complete proof theory. Since its introduction some three years ago, it has become widely popular in the database community as it turned out to be a very useful tool whenever both deductive and O-O paradigms must coexist.
Transaction logic is a result of our more recent work.
The two formalisms, thus, are dealing with orthogonal issues of structure and behavior. When combined, they would yield a powerful language that accounts for both. It will support applications that could not be supported in one system before. This will allow interactive development and debugging of database applications. Development of applications that are best understood in a logic framework .