Deductive normal forms of relations

• Authors:

• B Thalheim

• Affiliations:

• -

• Venue:
• Proceedings of the International Spring School on Mathematical method of specification and synthesis of software systems '85
• Year:
• 1986