Combining three conceptual models: abstract data types, logic programming, and databases

Abstract data types (ADTs), logic programming, and databases are three of the dominant conceptual models used in computer science. Most software developers use only one of the paradigms, and it is suggested that this isolates them from further intellectual growth and development. It is further suggested that understanding the differences and similarities of the three conceptual models improves one´s ability to solve problems quickly and efficiently. Other work has already shown the differences and similarities of logic programming and database systems. The authors extend the work to show how a restricted form of ADT systems is also equivalent. They describe the advantages of understanding the three conceptual models, define the ADT system, show that it is equivalent to the other models, describe differences among the three systems, and give examples of how knowledge of the three systems is useful.<>