For a relation algebra, do disjunctive relations need to be considered in Theorem k?

03 March 2017 0 717 Report

Disjunctive relations are just combinations of the atomic relations in a relation set. When considering theorem k (or R10) in relation algebra, does one need to also use the disjunctive relations as part of that, or do the atomic relations suffice?

Alternatively, I guess this question can be phrased as: do elements of the power set of relations in a relation set also count as relations with respect to the proof of a relation algebra.

Badges
Science topic

More Matthew P. Dube's questions See All

Compile error in METIS

01 January 1970 5,708 0 View

Does anyone know of scholarly resources that argue for the benefits of extra data?

I am in the process of writing an introduction to an article that will change the way in which a particular type of data is stored, allowing it to have more flexibility for particular tasks. One...

01 January 1970 9,498 5 View

Could you recommend any books about Number Theory?

Beginner level books. High level books. Analytical Number Theory. Algebraic Number Theory. Combinatorical Number Theory. Books about partitions. Books about primes.

03 March 2021 7,174 5 View

Arena simulation - how do i model the following model in ARENA (see description) (new to ARENA)?

Hello, I'm fairly new to ARENA and I have the following problem: I have two queues in which, in each queue, a different order type arrives (both having an arrival rate of exponential 10). Order...

02 March 2021 2,431 3 View

How Relativistic effects is one reason for lanthanide contraction?

The Lanthanide contraction which is the decrease in ionic radii of the elements in the lanthanide series from atomic number 57, lanthanum, to 71, lutetium, is due to poor shielding of the 4f...

01 March 2021 2,272 4 View

Is there a deep reason for using the squared modulus of the wave function as the probability density of the existence of the particle?

I think we were all surprised at the first time we got to know quantum mechanics that the squared modulus of the wave function is the probability density of the existence of the particle? The role...

28 February 2021 6,282 9 View

What is Flat Lens Antenna?

28 February 2021 5,433 3 View

Can impedance of antenna be less than 50 ohms?

I am simulating helix antenna in hfss, right now, giving excitation with 50 ohms port. When I see the results of Z parameter (real). It shows lower than 50 ohms. Do not understand, if it can be...

27 February 2021 4,218 7 View

What are the application of Fixed points thoery in Chemistry.?

It is said that fixed point theory has lot of applications not in the field of mathematics only but also in various areas. So I am looking for applications in Chemistry only..

26 February 2021 3,533 1 View

How to interpolate from a time-series database ?

Hi, I am having trouble with a problem, in the field of Optimal Control and the generation of optimal time-series. Let's consider a system, whose dynamics are represented by dx/dt =...

24 February 2021 9,105 2 View

How do historians determine the credibility sources in modern history?

For a source to be considered reliable it must contain accurate historical information. But how does one determine the accuracy and reliability of sources in modern and recent history since not...

23 February 2021 1,346 13 View

How to constrain genetic algorithm input u?

My real system (buck converter) can only take an input of 0 to 1 (duty ratio) and I need to constrain the system so the controller action keeps within this bounds. How can I do this? The code for...

22 February 2021 2,125 3 View