งานวิจัยนี้ใช้ทฤษฎีโปรแกรมเชิงประกาศในการสร้างทฤษฎีพื้นฐานของระบบฐานข้อมูลเชิง วัตถุแบบอนุมานซึ่งครอบคลุมลักษณะหลักทั้งหมดของระบบอันได้แก่การนิรนัย การจัดลำดับชั้นของ ข้อมูล การถ่ายทอดคุณสมบัติ และการกำหนดสารสนเทศโดยนัย อีกทั้งยังประยุกต์สร้างทฤษฎีพื้น ฐานสำหรับฐานข้อมูลเอกสารXML ซึ่งถือเป็นระบบฐานข้อมูลเชิงวัตถุแบบอนุมานประเภทหนึ่ง ทฤษฎีพื้นฐานดังกล่าวสามารถใช้สร้างแบบจำลองข้อมูลของเอกสารXML สร้างแบบจำลองของ XML DTD และสร้างกลไกสำหรับประมวลผลการสอบถามฐานข้อมูล XML This research project employs Declarative Program theory to develop a theoretical foundation for Deductive Object-Oriented Databases (DOODs) which covers deduction, hierarchical classification, inheritance and implicit information. In order to apply the concepts gained, this research project also develops a theoretical framework for XML document databases, which are a kind of DOOD. The framework permits representation of XML documents, modeling of XML DTDs and formulation as well as evaluation of XML queries.