@prefix log: . #@prefix db: . # Tables: @prefix Orders: . @prefix Products: . @prefix Customers: . @prefix Addresses: . @prefix : <#>. this log:forAll :o, :d, :p, :productName, :c, :first, :last, :billAddr, :billStreet, :billCity, :billState . is log:authoritativeService of Orders:id, Orders:customer, Orders:product, Orders:orderDate, Products:id, Products:name, Customers:id, Customers:familyName, Customers:givenName, Customers:billingAddress, Addresses:id, Addresses:street, Addresses:city, Addresses:state. Orders:product log:pointsAt Products:id . Orders:customer log:pointsAt Customers:id . Customers:billingAddress log:pointsAt Addresses:id . { :o Orders:customer :c . :o Orders:product :p . :o Orders:orderDate :d . :p Products:name :productName . :c Customers:familyName :first . :c Customers:givenName :last . :c Customers:billingAddress :billAddr . :billAddr Addresses:street :billStreet . :billAddr Addresses:city :billCity . :billAddr Addresses:state :billState . } log:implies { :o :RESULT :productName . :o :RESULT :first . :o :RESULT :last . :o :RESULT :billStreet . :o :RESULT :billCity . :o :RESULT :billState . }. # SQL query (so nicely formatted): # SELECT Products_0.id AS p_id, # Products_0.name AS productName_name, # Addresses_0.id AS billAddr_id, # Addresses_0.city AS billCity_city, # Addresses_0.state AS billState_state, # Addresses_0.street AS billStreet_street, # Customers_0.id AS c_id, # Customers_0.familyName AS first_familyName, # Customers_0.givenName AS last_givenName, # Orders_0.id AS o_id, # Orders_0.orderDate AS d_orderDate # FROM Products AS Products_0, Addresses AS Addresses_0, Customers AS Customers_0, Orders AS Orders_0 # WHERE Customers_0.billingAddress=Addresses_0.id # AND Orders_0.customer=Customers_0.id # AND Orders_0.product=Products_0.id