Construct a model theoretic interpretation of the above rule

Assignment Help Basic Computer Science

Reference no: EM131243372

Consider a deductive database with the following rules:

ancestor(X,Y) :- father(X,Y)
ancestor(X,Y) :- father(X,Z), ancestor(Z,Y)

Notice that "father(X,Y)" means that Y is the father of X; "ancestor(X,Y)" means that Yis the ancestor of X. Consider the fact base father(HarrY,Issac) , father(Issac,John) , father(John,Kurt).

a. Construct a model theoretic interpretation of the above rules using the given facts.

b. Consider that a database contains the above relations father(X, V), another relation brothe r (X, Y), and a third relation bi rth (X, B), where B is the birthdate of person X. State a rule that computes the first cousins of the following variety: their fathers must be brothers.

c. Show a complete Datalog program with fact-based and rule-based literals that computes the following relation: list of pairs of cousins, where the first person is born after 1960 and the second after 1970. You may use "greater than" as a built-in predicate.

Reference no: EM131243372

Questions Cloud

How important is consumer and utility relationship : How important is consumer and utility relationship? What services a utility need to ensure for various consumer groups?

Explain what led up to the writing of the u.s. constitution : Explain what led up to the writing of the U.S. Constitution and the ideas behind the design. Make sure you explain the design of the three branches of government.

What is the value of a call option with a strike price : What is the value of a call option with a strike price of $0 and 6 months to expiration? Use the parameters of the example: S0 = $80.50, rF = 1.77%, and σ = 50%.

How you are able to take the strategic management discipline : If you found connections, in what way are they meaningful? How you are able to take the strategic management discipline that you have learned in the classroom environment this semester and transfer it to other contexts.

Construct a model theoretic interpretation of the above rule : Show a complete Datalog program with fact-based and rule-based literals that computes the following relation: list of pairs of cousins, where the first person is born after 1960 and the second after 1970. You may use "greater than" as a built-in p..

Computes the black scholes value on row 4 : Write a computer spreadsheet that computes the Black-Scholes value on row 4 as a function of its five inputs in the first two rows.

Investment spending vary more than consumption : Why does investment spending vary more than consumption from year to year?

Explain a explanation of porters four competitive strategies : Explain A brief explanation of Porter's four competitive strategies. A brief explanation of how competitive strategy determines value chain structure.

Monopolist marginal cost : A monopolist produces and sells 400 units at a price of $40 per unit. The monopolist's marginal cost is equal to $15 and average cost is equal to $23. The monopolist's profit is?

User Account

All Pages