%0 Journal Article %1 Ullman:1994 %A Ullman, J.D. %D 1994 %I World Scientific Press %J Computers as Our Better Partners %K Logic, Querying %P 216--225 %T Assigning an appropriate meaning to database logic with negation %X Deductive database systems, that is, database systems with a query language based on logical rules must allow negated subgoals in rules to express an adequate range of queries. Adherence to classical deductive logic rarely offers the intuitively correct meaning of the rules. Thus, a variety of approaches to defining the right meaning of such rules have been developed. In this paper we survey the principal approaches including stratified negation, well-founded negation, stable-model semantics, and modularly stratified semantics.

@article{Ullman:1994, abstract = {Deductive database systems, that is, database systems with a query language based on logical rules must allow negated subgoals in rules to express an adequate range of queries. Adherence to classical deductive logic rarely offers the intuitively correct meaning of the rules. Thus, a variety of approaches to defining the right meaning of such rules have been developed. In this paper we survey the principal approaches including stratified negation, well-founded negation, stable-model semantics, and modularly stratified semantics. }, added-at = {2010-05-13T11:34:37.000+0200}, author = {Ullman, J.D.}, bdsk-file-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RAlQAAAAAAlQAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMcr3C9IKwAAAGDpoR9Bc3NpZ25pbmcgYW4gYXBwcm9wciM1RjQyNEEucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAX0JKxvi8ewAAAAAAAAAAAAIABQAACSAAAAAAAAAAAAAAAAAAAAAEMTk5NAAQAAgAAMcrzh8AAAARAAgAAMb4oFsAAAABACAAYOmhAGDoYgBg5K4AYOSsABOujgAICHQACAhnAACRjQACAGNNYWNpbnRvc2ggSEQ6VXNlcnM6a2F3OkRvY3VtZW50czp3b3JrOm1hdGVyaWFsOmFydGljbGVzOlVsbG1hbjoxOTk0OkFzc2lnbmluZyBhbiBhcHByb3ByIzVGNDI0QS5wZGYAAA4AbgA2AEEAcwBzAGkAZwBuAGkAbgBnACAAYQBuACAAYQBwAHAAcgBvAHAAcgBpAGEAdABlACAAbQBlAGEAbgBpAG4AZwAgAHQAbwAgAGQAYQB0AGEAYgBhAHMAZQAgAGwAbwBnAGkAYwAuAHAAZABmAA8AGgAMAE0AYQBjAGkAbgB0AG8AcwBoACAASABEABIAbVVzZXJzL2thdy9Eb2N1bWVudHMvd29yay9tYXRlcmlhbC9hcnRpY2xlcy9VbGxtYW4vMTk5NC9Bc3NpZ25pbmcgYW4gYXBwcm9wcmlhdGUgbWVhbmluZyB0byBkYXRhYmFzZSBsb2dpYy5wZGYAABMAAS8AABUAAgAK//8AAIAF0hwdHh9YJGNsYXNzZXNaJGNsYXNzbmFtZaMfICFdTlNNdXRhYmxlRGF0YVZOU0RhdGFYTlNPYmplY3RfEFouLi8uLi9tYXRlcmlhbC9hcnRpY2xlcy9VbGxtYW4vMTk5NC9Bc3NpZ25pbmcgYW4gYXBwcm9wcmlhdGUgbWVhbmluZyB0byBkYXRhYmFzZSBsb2dpYy5wZGbSHB0kJaIlIVxOU0RpY3Rpb25hcnkSAAGGoF8QD05TS2V5ZWRBcmNoaXZlcgAIABEAFgAfACgAMgA1ADoAPABFAEsAUgBdAGUAbABvAHEAcwB2AHgAegB8AIYAkwCYAKAC+AL6Av8DCAMTAxcDJQMsAzUDkgOXA5oDpwOsAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAAA74=}, biburl = {https://www.bibsonomy.org/bibtex/2918f5de5cf4c5f379c161ecb43552d5a/kweiand}, date-added = {2010-05-11 17:18:06 +0200}, date-modified = {2010-05-12 16:32:57 +0200}, interhash = {8cbc37cbaeed80a1893cdcde98fd796a}, intrahash = {918f5de5cf4c5f379c161ecb43552d5a}, journal = {Computers as Our Better Partners}, keywords = {Logic, Querying}, nocites = {14}, pages = {216--225}, publisher = {World Scientific Press}, timestamp = {2010-05-13T11:34:42.000+0200}, title = {{Assigning an appropriate meaning to database logic with negation}}, year = 1994 }