K: A High-Level Knowledge Base Programming Language for Advanced Database Applications.

Yuh-Ming Shyy, Stanley Y. W. Su

Browse the full SIGMOD paper archive.