驗證時間戳爲空或過去

Question

在PostgreSQL 8.4.9我有一個小遊戲，用戶可以購買一個VIP（「非常重要的人」）狀態：

# \d pref_users; 
       Table "public.pref_users" 
    Column |   Type    | Modifiers 
------------+-----------------------------+--------------- 
id   | character varying(32)  | not null 
vip  | timestamp without time zone | 

如果VIP從未購買它將是NULL。

如果貴賓已過期，它將是< CURRENT_TIMESTAMP。

我試圖創建PL/pgSQL的程序，允許有足夠的VIP身份的用戶留下了一個星期給其他用戶，作爲「禮物」：

create or replace function pref_move_week(_from varchar, 
    _to varchar) returns void as $BODY$ 
     declare 
       has_vip boolean; 
     begin 

     select vip > current_timestamp + interval '1 week' 
     into has_vip from pref_users where id=_from; 

     if (not has_vip) then 
       return; 
     end if; 

     update pref_users set vip = current_timestamp - interval '1 week' where id=_from; 
     update pref_users set vip = current_timestamp + interval '1 week' where id=_to; 

     end; 
$BODY$ language plpgsql; 

不幸的是這個過程不工作如果授予用戶的vip值爲NULL，則正確：

# update pref_users set vip=null where id='DE16290'; 
UPDATE 1 

# select id,vip from pref_users where id in ('DE16290', 'DE1'); 
    id |   vip 
---------+---------------------------- 
DE1  | 2012-01-05 17:35:17.772043 
DE16290 | 
(2 rows) 

# select pref_move_week('DE16290', 'DE1'); 
pref_move_week 
---------------- 

(1 row) 

# select id,vip from pref_users where id in ('DE16290', 'DE1'); 
    id |   vip 
---------+---------------------------- 
DE1  | 2012-01-05 17:43:11.589922 
DE16290 | 2011-12-22 17:43:11.589922 
(2 rows) 

即IF - 上面的陳述似乎不起作用，並通過。

另外我不知道has_vip變量是否需要在這裏呢？

和我如何能確保主鍵_from和_TO是在pref_users表確實存在，或者是這個已經照顧（因爲UPDATE的一個語句將「拋出一個異常「並且交易將被回滾）？

UPDATE：

感謝您對所有的答覆和我也有一個提示使用方法：

  if (not coalesce(has_vip, false)) then 
        return; 
      end if; 

但現在我有一個新的問題：

# select id,vip from pref_users where id in ('DE16290', 'DE1'); 
    id |   vip 
---------+---------------------------- 
DE1  | 2012-01-05 17:43:11.589922 
DE16290 | 
(2 rows) 

（即DE1有貴賓到五月，應該能夠每週給DE16290，但）：

# select pref_move_week('DE1', 'DE16290'); 
pref_move_week 
---------------- 

(1 row) 

# select id,vip from pref_users where id in ('DE16290', 'DE1'); 
    id |   vip 
---------+---------------------------- 
DE1  | 2012-01-05 17:43:11.589922 
DE16290 | 
(2 rows) 

（出於某種原因，一切都沒有改變？）

更新2：最終的解決方案 -

create or replace function pref_move_week(_from varchar, 
     _to varchar) returns void as $BODY$ 
      begin 

      select 1 from pref_users 
       where id=_from and 
       vip > current_timestamp + interval '1 week'; 

      if not found then 
        return; 
      end if; 

      update pref_users set 
       vip = vip - interval '1 week' 
       where id=_from; 

      update pref_users set 
       vip = greatest(vip, current_timestamp) + interval '1 week' 
       where id=_to; 

      end; 
    $BODY$ language plpgsql; 

Answer 1

Null值上的任何比較短返回false的爲空（所以其中null <> 1爲假，並且空= 1爲假...空不等於或不等於任何東西）。取而代之的

if (not has_vip) then return 

去

if (not has_vip) or has_vip is null then return 

你正在使用的語法是這裏有點獨特的，我不習慣於閱讀它...猜你來自不同的背景比SQL並且還沒有遇到null樂趣。 Null是SQL中的一個特殊概念，您需要以不同的方式處理。記住它不等於空白或0，也不小於或大於任何數字。

編輯在： 我有點這個困惑：

select vip > current_timestamp + interval '1 week' 
    into has_vip from pref_users where id=_from; 

我相信這是等同於：

select vip 
    into has_vip from pref_users 
    where id=_from 
    and vip > current_timestamp + interval '1 week'; 

我希望如此。現在，如果沒有找到記錄或者VIP值爲空，這將返回null。你可以去，如果has_vip爲空，然後返回？

Answer 2

有可能是一個更優雅的解決方案，但我認爲

SELECT (vip IS NOT NULL) AND (vip > current_timestamp + interval '1 week') 

會做這項工作。 我猜你的問題與NULL不是真或假都是有關的。

您可以在the docs找到更多信息。

Answer 3

將您的時間戳與可能爲空的內容進行比較時，可以使用COALESE函數提供「默認」值進行比較。例如，

select 1 from pref_users 
    where id=_from and 
    vip > COALESCE(current_timestamp, to_timestamp(0)); 

COALESCE函數返回其列表中的第一個非空值。見docs。 （也to_timestamp()文檔...）