added super-keys
improved disjoint attributes function
added tests for key properties