I Temporal Database and its Relational Algebra

WWGD
Science Advisor
Homework Helper
Messages
7,678
Reaction score
12,360
Hi all,
Just curious on whether temporal databases are designed in the same way as "standard" relational databases,
so that queries on temporal databases are wffs in temporal logic , i.e., using Until, Release and all other unary
operators , and the query outputs is the set of models for the wff? Thanks.
 
Physics news on Phys.org
There are wff's from spatial relations resultsets for spatial databases. I have never worked in a temporal db environment. I do not know.
 
jedishrfu said:
This wiki article talks about the evolution of temporal database design from relational databases which may answer your question:

https://en.m.wikipedia.org/wiki/Temporal_database
Sorry I missed rhat [art when reading the article; will read more carefully next time.
 

Thread 'Roulette wheel physics and probability'

Hi all, I've been a roulette player for more than 10 years (although I took time off here and there) and it's only now that I'm trying to understand the physics of the game. Basically my strategy in roulette is to divide the wheel roughly into two halves (let's call them A and B). My theory is that in roulette there will invariably be variance. In other words, if A comes up 5 times in a row, B will be due to come up soon. However I have been proven wrong many times, and I have seen some...
View full post »
Thread 'Detail of Diagonalization Lemma'

Thread 'Detail of Diagonalization Lemma'

The following is more or less taken from page 6 of C. Smorynski's "Self-Reference and Modal Logic". (Springer, 1985) (I couldn't get raised brackets to indicate codification (Gödel numbering), so I use a box. The overline is assigning a name. The detail I would like clarification on is in the second step in the last line, where we have an m-overlined, and we substitute the expression for m. Are we saying that the name of a coded term is the same as the coded term? Thanks in advance.
View full post »

Similar threads

I Computer languages as examples in formal logic
Replies
40
Views
8K
I [(Linear) Temporal Logic] Are the given sentences consistent or not?
Replies
8
Views
2K
B Traditional logic and its usefulness in the past
Replies
21
Views
2K
Relational DB :Relation-type Algebra?
Replies
4
Views
1K
I Many-valued inference possible: extant?
Replies
6
Views
1K
I could really use some help picking my optional module [GameDev]
Replies
2
Views
2K
How to get Permission to See Tables Diagram in MSSQL2014
Replies
4
Views
1K
Many to Many Relations in Database
Replies
6
Views
2K
[SQL] Rule of Thumb for Queries: Length of String vs Speed?
Replies
8
Views
3K
How do I create and open a SQLite database in Windows?
Replies
8
Views
6K

Hot Threads

Recent Insights

Back
Top