أرسل هذا في رسالة قصيرة: Preservation of integrity constraints in definite DATALOG programs

 __   __   _    _    _    _    __   __   _    _   
 \ \\/ // | || | || | || | ||  \ \\/ // | |  | || 
  \   //  | || | || | || | ||   \ ` //  | |/\| || 
  / . \\  | \\_/ || | \\_/ ||    | ||   |  /\  || 
 /_//\_\\  \____//   \____//     |_||   |_// \_|| 
 `-`  --`   `---`     `---`      `-`'   `-`   `-`